Search Sciweavers | Sciweavers

4047 search results - page 200 / 810

» Algebraic Model Checking

154

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework

15 years 11 months ago

Download www.dbai.tuwien.ac.at

We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying inﬁnite games pertinent to computer-aided veriﬁcation.

Henrik Björklund, Sven Sandberg, Sergei G. Vo...

claim paper

Read More »

128

click to vote

ERSHOV
2003
Springer

98views Theoretical Computer Science» more ERSHOV 2003»

Polynomial Approximations for Model Checking

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

158

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 11 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

146

click to vote

FM
2003
Springer

115views Formal Methods» more FM 2003»

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

15 years 11 months ago

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Pierre Ganty

claim paper

Read More »

119

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers