FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. 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 ...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
