1633 search results - page 234 / 327 » On the Verification of Temporal Properties |
ICSE
2001
IEEE-ACM
14 years 3 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
ISSTA
2000
ACM
14 years 3 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
SIGSOFT
1998
ACM
14 years 3 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
ECAI
2008
Springer
14 years 15 days ago
2008
Springer
We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: applying default property classification rules in static domains, and d...