690 search results - page 81 / 138 » Testing Temporal Logic Properties in Distributed Systems |
111
Voted
SFM
2007
Springer
15 years 6 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 ...
209
click to vote
POPL
2003
ACM
16 years 26 days 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...
117
Voted
CADE
2010
Springer
15 years 1 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...
117
Voted
IPPS
1998
IEEE
15 years 4 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...
159
Voted
JIPS
2010
14 years 7 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...