Using model checking to analyze the system behavior of the LHC production grid
Abstract DIRAC (Distributed Infrastructure with Remote Agent Control) is the grid solution
designed to support production activities as well as user data analysis for the Large Hadron …
designed to support production activities as well as user data analysis for the Large Hadron …
High security smartcards
M Renaudin, F Bouesse, P Proust… - … Automation and Test …, 2004 - ieeexplore.ieee.org
New consumer appliances such as PDA, set top box, GSM/UMTS terminals enable an easy
access to the Internet and strongly contribute to the development of e-commerce and m …
access to the Internet and strongly contribute to the development of e-commerce and m …
Analysis of a session-layer protocol in mcrl2: verification of a real-life industrial implementation
M Van Eekelen, S Ten Hoedt, R Schreurs… - … Workshop on Formal …, 2007 - Springer
This paper reports the analysis of an industrial implementation of the session-layer of a load-
balancing software system. This software comprises 7.5 thousand lines of C code. It is used …
balancing software system. This software comprises 7.5 thousand lines of C code. It is used …
[PDF][PDF] Bringing Model Checking Closer To Practical Software Engineering
D Remenska - 2016 - research.vu.nl
Software systems are becoming increasingly complex, growing both in code base size and
number of involved components. In effect, it becomes more challenging to detect certain …
number of involved components. In effect, it becomes more challenging to detect certain …
[PDF][PDF] Modeling and verifying a Real--Life Industrial Session--Layer Protocol in mCRL2
M van Eekelen, S Hoedt, R Schreurs, Y Usenko - 2007 - repository.ubn.ru.nl
This paper reports the analysis of an industrial implementa tion of the session-layer of a load-
balancing software system. This soft ware comprises 7.5 thousand lines of C code. It is used …
balancing software system. This soft ware comprises 7.5 thousand lines of C code. It is used …