2836 search results - page 56 / 568 » Model Checking for Software Architectures |
122
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
143
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
128
click to vote
FSTTCS
2006
Springer
15 years 7 months 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...
140
Voted
ISMS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
140
click to vote
ICRE
1998
IEEE
15 years 7 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...