Sciweavers

713 search results - page 20 / 143

» Model Checking and Transitive-Closure Logic

74

LOGCOM
2006

64views more LOGCOM 2006»

A Logic of Probability with Decidable Model Checking

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

72

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

15 years 1 days 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 »

77

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

14 years 11 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

152

Voted

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

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

14 years 5 days 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 »

111

ATAL
2005
Springer

140views Intelligent Agents» more ATAL 2005»

Bounded model checking for knowledge and real time

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