227 search results - page 3 / 46 » Tutorial: Parallel Model Checking |
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
CONCUR
2003
Springer
14 years 23 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
STTT
2011
13 years 2 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...