5863 search results - page 87 / 1173 » On Model-Checking of P Systems |
112
Voted
ICSOC
2007
Springer
15 years 7 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...
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
119
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
115
Voted
CASCON
2001
15 years 2 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...