Search Sciweavers | Sciweavers

12981 search results - page 221 / 2597

» Model Checking (Abstract)

142

click to vote

IFIP
2004
Springer

124views Programming Languages» more IFIP 2004»

On Complexity of Model-Checking for the TQL Logic

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

100

click to vote

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 8 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 8 months ago

Download ibis.inrialpes.fr

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

claim paper

Read More »

105

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 8 months ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

109

Voted

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers