Sciweavers

713 search results - page 20 / 143

» Model Checking and Transitive-Closure Logic

120

LOGCOM
2006

64views more LOGCOM 2006»

A Logic of Probability with Decidable Model Checking

15 years 5 months ago

A Logic of Probability with Decidable Model Checking

Download www.cs.tau.ac.il

Danièle Beauquier, Alexander Moshe Rabinovi...

claim paper

Read More »

125

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

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

127

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 4 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

238

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

14 years 5 months ago

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Download cri-dist.univ-paris1.fr

Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...

claim paper

Read More »

180

ATAL
2005
Springer

140views Intelligent Agents» more ATAL 2005»

Bounded model checking for knowledge and real time

15 years 11 months ago

Bounded model checking for knowledge and real time

Download www.cs.huji.ac.il

We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...

Bozena Wozna, Alessio Lomuscio, Wojciech Penczek

claim paper

Read More »

« Prev « First page 20 / 143 Last » Next »