Search Sciweavers | Sciweavers

4341 search results - page 194 / 869

» Quantitative Model checking

click to vote

FMCAD
2004
Springer

112views Formal Methods» more FMCAD 2004»

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

14 years 4 months ago

Download www.fi.muni.cz

Lubos Brim, Ivana Cerná, Pavel Moravec 0002...

claim paper

Read More »

click to vote

FORMATS
2004
Springer

130views Formal Methods» more FORMATS 2004»

Model-Checking for Weighted Timed Automata

14 years 4 months ago

Download math.umh.ac.be

We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...

Thomas Brihaye, Véronique Bruyère, J...

claim paper

Read More »

click to vote

IFIP
2004
Springer

124views Programming Languages» more IFIP 2004»

On Complexity of Model-Checking for the TQL Logic

14 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

SPIN
2004
Springer

97views Theoretical Computer Science» more SPIN 2004»

Model Checking Genetic Regulatory Networks Using GNA and CADP

14 years 4 months ago

Download ibis.inrialpes.fr

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

claim paper

Read More »