Results 201 to 210 of about 3,818 (217)

Model checking of hierarchical state machines

ACM Transactions on Programming Languages and Systems, 2001
Rajeev Alur
exaly  

Symbolic model checking

1996
Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen   +3 more
openaire   +2 more sources

Model checking hybrid logics (with an application to semistructured data)

Journal of Applied Logic, 2006
Maarten de Rijke, Massimo Franceschet
exaly  

Counterexample-guided abstraction refinement for symbolic model checking

Journal of the ACM, 2003
Edmund Clarke, Somesh Jha, Helmut Veith   +2 more
exaly  

A classification and comparison of model checking software architecture techniques

Journal of Systems and Software, 2010
Henry Muccini, Bixin Li, Pengcheng Zhang   +2 more
exaly  

A Practical Approach for Model Checking C/C++11 Code

ACM Transactions on Programming Languages and Systems, 2016
Brian Demsky
exaly  

Model checking with Boolean Satisfiability

Journal of Algorithms, 2008
João Marques-Silva
exaly  

Prior‐based model checking

Canadian Journal of Statistics, 2018
Michael Evans, Luai Al Labadi
exaly  

Supporting automated containment checking of software behavioural models using model transformations and model checking

Science of Computer Programming, 2019
Faiz Ul Muram, Uwe Zdun, Huy Tran
exaly  

Symbolic model checking of UML activity diagrams

ACM Transactions on Software Engineering and Methodology, 2006
Rik Eshuis
exaly