Sciweavers

4502 search results - page 183 / 901

» Regular Model Checking

106

ERSHOV
2003
Springer

98views Theoretical Computer Science» more ERSHOV 2003»

Polynomial Approximations for Model Checking

15 years 10 months ago

Polynomial Approximations for Model Checking

Download www.iis.nsk.su

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

131

Voted

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 10 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

127

FM
2003
Springer

115views Formal Methods» more FM 2003»

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

15 years 10 months ago

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Pierre Ganty

claim paper

Read More »

151

FM
2003
Springer

98views Formal Methods» more FM 2003»

Generating Counterexamples for Multi-valued Model-Checking

15 years 10 months ago

Generating Counterexamples for Multi-valued Model-Checking

Download www.cs.toronto.edu

Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

101

Voted

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 10 months ago

Real-Time Model-Checking: Parameters Everywhere

Download www.ulb.ac.be

Véronique Bruyère, Jean-Franç...

claim paper

Read More »

« Prev « First page 183 / 901 Last » Next »