2873 search results - page 3 / 575 » Model Checking and the Mu-calculus |
APAL
2010
13 years 5 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
IJSEKE
2011
12 years 9 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
STTT
2010
13 years 15 days ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
QEST
2010
IEEE
13 years 3 months ago
2010
IEEE
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...