1724 search results - page 46 / 345 » Types as models: model checking message-passing programs |
118
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
113
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
121
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
145
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
125
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...