12981 search results - page 132 / 2597 » Model Checking (Abstract) |
118
click to vote
LISP
2008
15 years 2 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
132
click to vote
ICSOC
2007
Springer
15 years 9 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
114
click to vote
AMC
2008
15 years 2 months ago
2008
Abstract Nowadays many real problems can be modelled as Constraint Satisfaction Problems (CSPs). A search algorithm for constraint programming requires an order in which variables ...
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
Abstract
156
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...