1463 search results - page 38 / 293 » Model Checking Implicit-Invocation Systems |
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
131
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
104
click to vote
CMSB
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
107
click to vote
IJCAI
2003
15 years 1 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...