Results 321 to 330 of about 23,407,383 (367)

Model Checking

2001
Edmund M. Clarke, Bernd-Holger Schlingloff   +1 more
openaire   +2 more sources

Model checks

2020
Alvar M. Kabe, Brian H. Sako
openaire   +1 more source

Combining Model Checking and Runtime Verification for Safe Robotics

Runtime Verification, 2017
Ankush Desai, T. Dreossi, S. Seshia
semanticscholar   +1 more source

Hardware Trojan Detection Using ATPG and Model Checking

International Conference on VLSI Design, 2018
Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, P. Mishra   +3 more
semanticscholar   +1 more source

Combining Model Checking and Data-Flow Analysis

Handbook of Model Checking, 2018
Dirk Beyer, Sumit Gulwani, David A. Schmidt   +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  

Model Checking

1997
  +4 more sources

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

Combining Model Checking and Testing

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