Results 181 to 190 of about 25,570,341 (217)

BDD-Based Symbolic Model Checking

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

Hardware model checking competition 2017

Formal Methods in Computer-Aided Design, 2017
Armin Biere, T. V. Dijk, Keijo Heljanko
semanticscholar   +1 more source

Stochastic Model Checking

2006
openaire   +2 more sources

Model Checking Parameterized Systems

Handbook of Model Checking, 2018
P. Abdulla, A. Sistla, Muralidhar Talupur   +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

Promoting cancer screening within the patient centered medical home

Ca-A Cancer Journal for Clinicians, 2011
Robert A Smith
exaly  

Generation of a Broadly Useful Model for COVID-19 Pathogenesis, Vaccination, and Treatment

Cell, 2020
Jing Sun, Zhen Zhuang, Jian Zheng
exaly  

Explicit-State Model Checking

Handbook of Model Checking, 2018
G. Holzmann
semanticscholar   +1 more source

American Joint Committee on Cancer acceptance criteria for inclusion of risk models for individualized prognosis in the practice of precision medicine

Ca-A Cancer Journal for Clinicians, 2016
Michael W Kattan, Justin H Guinney, Susan Halabi   +2 more
exaly