189 search results - page 11 / 38 » Model Checking Correctness Properties of Electronic Contract... |
105
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
100
click to vote
TCAD
2008
14 years 11 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
101
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
115
click to vote
TGC
2005
Springer
15 years 5 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...