Sciweavers

713 search results - page 20 / 143

» Model Checking and Transitive-Closure Logic

106

LOGCOM
2006

64views more LOGCOM 2006»

A Logic of Probability with Decidable Model Checking

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

99

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

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

108

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 2 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

199

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

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

14 years 3 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 »

152

Voted

ATAL
2005
Springer

140views Intelligent Agents» more ATAL 2005»

Bounded model checking for knowledge and real time

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