Search Sciweavers | Sciweavers

2872 search results - page 152 / 575

» On (Omega-)Regular Model Checking

click to vote

IFIP
2004
Springer

124views Programming Languages» more IFIP 2004»

On Complexity of Model-Checking for the TQL Logic

15 years 4 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 »

click to vote

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 4 months ago

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

click to vote

SPIN
2004
Springer

97views Theoretical Computer Science» more SPIN 2004»

Model Checking Genetic Regulatory Networks Using GNA and CADP

15 years 4 months ago

Download ibis.inrialpes.fr

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

claim paper

Read More »

click to vote

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

15 years 4 months ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers