Sciweavers

2291 search results - page 48 / 459

» Logic Programming and Model Checking

118

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

15 years 5 months ago

Improved bounded model checking for a fair branching-time temporal epistemic logic

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

109

JUCS
2008

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

15 years 4 months ago

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

107

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 »

102

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 »

109

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 »

« Prev « First page 48 / 459 Last » Next »