Results 191 to 200 of about 3,818 (217)

CIP model-checking

2004
ISBN:3-8322-3424 ...
openaire   +2 more sources

Twin-width I: Tractable FO Model Checking

Journal of the ACM, 2022
Edouard Bonnet, Rémi Watrigant, Eun Jung Kim   +2 more
exaly  

Model checking

2009
DORON PELED, PELLICCIONE, PATRIZIO, AND PAOLA SPOLETINI   +2 more
openaire   +2 more sources

Model Checking Futexes

2023
Hugues Evrard, Alastair F. Donaldson
openaire   +1 more source

Software model checking

ACM Computing Surveys, 2009
Ranjit Jhala
exaly  

Model checking and abstraction

ACM Transactions on Programming Languages and Systems, 1994
Andrew W Appel, Edmund Clarke, David E Long   +2 more
exaly  

Symmetry in temporal logic model checking

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

Model checking temporal properties of reaction systems

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

A guide to Bayesian model checking for ecologists

Ecological Monographs, 2018
Devin Johnson, Mevin Hooten, Paul Conn   +2 more
exaly  

Symmetry and model checking

Formal Methods in System Design, 1996
E Allen Emerson, A Prasad Sistla
exaly