3224 search results - page 144 / 645 » On Checking Model Checkers |
102
Voted
ENTCS
2008
15 years 2 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
119
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
134
click to vote
PAPM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
107
Voted
MEMOCODE
2005
IEEE
15 years 8 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
109
Voted
APN
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...