2881 search results - page 57 / 577 » Model Checking for Programming Languages using Verisoft |
120
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
135
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
122
click to vote
DALT
2004
Springer
15 years 7 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 ...
120
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
124
click to vote
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...