1633 search results - page 258 / 327 » On the Verification of Temporal Properties |
146
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
271
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
194
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
169
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
243
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...