Results 301 to 310 of about 221,743 (312)

A primer on model checking

ACM Inroads, 2010
Mordechai Ben-Ari
exaly  

Using model checking to find serious file system errors

ACM Transactions on Computer Systems, 2006
Junfeng Yang, Madanlal Musuvathi, Yangjunfeng   +2 more
exaly  

Symmetry and model checking

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

Model checking communicative agent-based systems

Knowledge-Based Systems, 2009
Jamal Bentahar, John-Jules Meyer
exaly  

Model checking of hierarchical state machines

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

Symbolic model checking

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

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

Frontiers in Plant Science, 2012
MIGUEL Carrillo, Rosenblueth David A
exaly  

Effective stateless model checking for C/C++ concurrency

2018
Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas   +2 more
exaly  

On-the-fly model checking

ACM Computing Surveys, 1996
openaire   +1 more source

Stochastic Model Checking

2006
openaire   +2 more sources