90 search results - page 1 / 18 » From Pre-historic to Post-modern Symbolic Model Checking |
ICSE
1999
IEEE-ACM
13 years 9 months ago
1999
IEEE-ACM
CAV
1998
Springer
13 years 9 months ago
1998
Springer
RTSS
1995
IEEE
13 years 8 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
FMICS
2008
Springer
13 years 6 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
IJCAI
2003
13 years 6 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...