662 search results - page 98 / 133 » Model Checking Procedures for Infinite State Systems |
TKDE
2010
14 years 10 months ago
2010
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
117
click to vote
TACAS
2001
Springer
15 years 4 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...