Results 291 to 300 of about 221,743 (312)

Software model checking

ACM Computing Surveys, 2009
Ranjit Jhala, Rupak Majumdar, Jhalaranjit   +2 more
exaly  

Symmetry in temporal logic model checking

ACM Computing Surveys, 2006
Alice Miller, Alastair Donaldson, Muffy Calder   +2 more
exaly  

Model checking and abstraction

ACM Transactions on Programming Languages and Systems, 1994
Edmund M Clarke, Orna Grumberg, David E Long   +2 more
exaly  

Multi-valued symbolic model-checking

ACM Transactions on Software Engineering and Methodology, 2003
Marsha Chechik, Steve Easterbrook, Arie Gurfinkel   +2 more
exaly  

A guide to Bayesian model checking for ecologists

Ecological Monographs, 2018
Paul B Conn, Devin S Johnson, Perry J Williams   +2 more
exaly  

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

IEEE Transactions on Fuzzy Systems, 2015
Yongming Li, Zhanyou Ma
exaly  

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

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

Model Checking Higher-Order Programs

Journal of the ACM, 2013
Naoki Kobayashi, Kobayashinaoki
exaly  

Counterexample-guided abstraction refinement for symbolic model checking

Journal of the ACM, 2003
Edmund Clarke, Orna Grumberg, Somesh Jha   +2 more
exaly  

Model checking temporal properties of reaction systems

Information Sciences, 2015
Artur Męski, Wojciech Penczek, Grzegorz Rozenberg   +2 more
exaly