Sciweavers

4341 search results - page 197 / 869

» Quantitative Model checking

24

CHARME
2003
Springer

86views Hardware» more CHARME 2003»

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

14 years 4 months ago

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

Download www.comlab.ox.ac.uk

E. Allen Emerson, Thomas Wahl

claim paper

Read More »

24

CHARME
2003
Springer

87views Hardware» more CHARME 2003»

Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking

14 years 4 months ago

Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking

Download www.cs.wmich.edu

Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav ...

claim paper

Read More »

24

CHARME
2003
Springer

88views Hardware» more CHARME 2003»

CTL May Be Ambiguous When Model Checking Moore Machines

14 years 4 months ago

CTL May Be Ambiguous When Model Checking Moore Machines

Download sed.free.fr

Cédric Roux, Emmanuelle Encrenaz

claim paper

Read More »

29

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

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

14 years 4 months ago

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

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 »

24

ERSHOV
2003
Springer

98views Theoretical Computer Science» more ERSHOV 2003»

Polynomial Approximations for Model Checking

14 years 4 months ago

Polynomial Approximations for Model Checking

Download www.iis.nsk.su

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

« Prev « First page 197 / 869 Last » Next »