1472 search results - page 38 / 295 » On Model Checking Infinite-State Systems |
134
Voted
CMSB
2009
Springer
15 years 7 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...
143
Voted
IJCAI
2003
15 years 5 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...
135
Voted
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
132
Voted
FORTE
2004
15 years 5 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...