Sciweavers

4447 search results - page 223 / 890

» Model Checking Games

72

ENTCS
2002

56views more ENTCS 2002»

Using Assumptions to Distribute CTL Model Checking

15 years 4 months ago

Using Assumptions to Distribute CTL Model Checking

Download www.fi.muni.cz

Lubos Brim, Jitka Crhova, Karen Yorav

claim paper

Read More »

92

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 4 months ago

Bounded Model Checking for Timed Automata

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

108

JACM
2000

55views more JACM 2000»

An automata-theoretic approach to branching-time model checking

15 years 4 months ago

An automata-theoretic approach to branching-time model checking

Download folli.loria.fr

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper

claim paper

Read More »

103

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

15 years 4 months ago

Model Checking for a Probabilistic Branching Time Logic with Fairness

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

136

CORR
1999
Springer

95views Education» more CORR 1999»

Fixed-parameter tractability, definability, and model checking

15 years 4 months ago

Fixed-parameter tractability, definability, and model checking

Download www2.informatik.hu-berlin.de

In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...

Jörg Flum, Martin Grohe

claim paper

Read More »

« Prev « First page 223 / 890 Last » Next »