2520 search results - page 11 / 504 » Model-checking behavioral programs |
108
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
118
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
89
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
189
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
