Sciweavers

126 search results - page 9 / 26

» Semi-external LTL Model Checking

13

FMCAD
2004
Springer

112views Formal Methods» more FMCAD 2004»

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

14 years 1 months ago

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

Download www.fi.muni.cz

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

claim paper

Read More »

22

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

14 years 1 months ago

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

33

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

14 years 1 months ago

Model-Checking LTL with Regular Valuations for Pushdown Systems

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

21

CAV
2008
Springer

104views Hardware» more CAV 2008»

Semi-external LTL Model Checking

13 years 10 months ago

Semi-external LTL Model Checking

Download www.memics.cz

Stefan Edelkamp, Peter Sanders, Pavel Simecek

claim paper

Read More »

26

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

13 years 9 months ago

Local Quantitative LTL Model Checking

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...

claim paper

Read More »

« Prev « First page 9 / 26 Last » Next »