105 search results - page 3 / 21 » Symbolic Model Checking of Non-regular Properties |
CAV
1999
Springer
13 years 9 months ago
1999
Springer
Of special interest in formal veriļ¬cation are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
DSN
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
IEAAIE
2011
Springer
12 years 8 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
ICSOC
2007
Springer
13 years 11 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...
APN
2010
Springer
13 years 9 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...