690 search results - page 81 / 138 » Testing Temporal Logic Properties in Distributed Systems |
135
click to vote
SFM
2007
Springer
15 years 9 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
243
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
141
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
137
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
189
click to vote
JIPS
2010
14 years 10 months ago
2010
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...