Results 211 to 217 of about 3,818 (217)
Some of the next articles are maybe not open access.

On model checking for the μ-calculus and its fragments

Theoretical Computer Science, 2001
E Allen Emerson, A Prasad Sistla
exaly  

On-the-fly model checking

ACM Computing Surveys, 1996
openaire   +1 more source

Systematic Review of Software Behavioral Model Consistency Checking

ACM Computing Surveys, 2018
Faiz Ul Muram, Uwe Zdun, Huy Tran
exaly  

Handbook of Model Checking

2018
openaire   +1 more source

Effective stateless model checking for C/C++ concurrency

2018
Viktor Vafeiadis   +2 more
exaly  

Beyond model checking

1994
openaire   +2 more sources

Meanings of Model Checking

2010
openaire   +2 more sources
mathematics
computer science - logic in computer science
formal verification
d.2.4
rule checking
f.1.1
previous   20  21  22  

Home - About - Disclaimer - Privacy