Results 321 to 330 of about 21,783,491 (356)

Probabilistic model checking: advances and applications

, 2018
M. Kwiatkowska, G. Norman, D. Parker
semanticscholar   +1 more source

Interpolation and Model Checking

Handbook of Model Checking, 2018
K. McMillan
semanticscholar   +1 more source

Model checking

1983
P. McCullagh, J. A. Nelder
openaire   +1 more source

Combining Model Checking and Testing

Handbook of Model Checking, 2018
Patrice Godefroid, Koushik Sen
semanticscholar   +1 more source

BDD-Based Symbolic Model Checking

Handbook of Model Checking, 2018
S. Chaki, A. Gurfinkel
semanticscholar   +1 more source

Model Checking Parameterized Systems

Handbook of Model Checking, 2018
P. Abdulla, A. Sistla, Muralidhar Talupur   +2 more
semanticscholar   +1 more source

The biofilm life cycle: expanding the conceptual model of biofilm formation

Nature Reviews Microbiology, 2022
Karin Sauer, Paul Stoodley, Darla M Goeres   +2 more
exaly  

Combining Model Learning and Model Checking to Analyze TCP Implementations

International Conference on Computer Aided Verification, 2016
P. Fiterau-Brostean, Ramon Janssen, F. Vaandrager   +2 more
semanticscholar   +1 more source

Model Checking Procedural Programs

Handbook of Model Checking, 2018
R. Alur, A. Bouajjani, J. Esparza
semanticscholar   +1 more source

Model Checking Security Protocols

Handbook of Model Checking, 2018
D. Basin, Cas J. F. Cremers, C. Meadows
semanticscholar   +1 more source