Search Sciweavers | Sciweavers

2291 search results - page 47 / 459

» Logic Programming and Model Checking

151

click to vote

LICS
2006
IEEE

84views Automated Reasoning» more LICS 2006»

Temporal Logics and Model Checking for Fairly Correct Systems

16 years 11 days ago

Download www.doc.ic.ac.uk

We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal speciﬁcation. We deﬁne a system to be fairly correct if...

Daniele Varacca, Hagen Völzer

claim paper

Read More »

147

click to vote

CAV
2004
Springer

86views Hardware» more CAV 2004»

MCK: Model Checking the Logic of Knowledge

15 years 11 months ago

Download www.cse.unsw.edu.au

Peter Gammie, Ron van der Meyden

claim paper

Read More »

124

Voted

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

15 years 10 months ago

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

149

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 8 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

112

click to vote

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers