Search Sciweavers | Sciweavers

2872 search results - page 152 / 575

» On (Omega-)Regular Model Checking

179

click to vote

IFIP
2004
Springer

124views Programming Languages» more IFIP 2004»

On Complexity of Model-Checking for the TQL Logic

15 years 11 months ago

Download wwwhome.cs.utwente.nl

In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We deﬁne tw...

Iovka Boneva, Jean-Marc Talbot

claim paper

Read More »

134

click to vote

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 11 months ago

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

134

click to vote

SPIN
2004
Springer

97views Theoretical Computer Science» more SPIN 2004»

Model Checking Genetic Regulatory Networks Using GNA and CADP

15 years 11 months ago

Download ibis.inrialpes.fr

Grégory Batt, Damien Bergamini, Hidde de Jo...

claim paper

Read More »

130

click to vote

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

15 years 11 months ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

138

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers