2881 search results - page 108 / 577 » Model Checking for Programming Languages using Verisoft |
111
Voted
CASES
2009
ACM
15 years 9 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
123
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
194
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
126
Voted
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
100
Voted
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...