525 search results - page 12 / 105 » Model Checking Systems of Replicated Processes with Spin |
ENTCS
2007
13 years 8 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
ENTCS
2008
13 years 8 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 ...
FSTTCS
2006
Springer
14 years 8 days ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
ACSC
2008
IEEE
14 years 3 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
TASE
2008
IEEE
14 years 3 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...