Search Sciweavers | Sciweavers

2291 search results - page 47 / 459

» Logic Programming and Model Checking

click to vote

LICS
2006
IEEE

84views Automated Reasoning» more LICS 2006»

Temporal Logics and Model Checking for Fairly Correct Systems

14 years 2 months 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 »

click to vote

CAV
2004
Springer

86views Hardware» more CAV 2004»

MCK: Model Checking the Logic of Knowledge

14 years 2 months ago

Download www.cse.unsw.edu.au

Peter Gammie, Ron van der Meyden

claim paper

Read More »

click to vote

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

14 years 26 days ago

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

13 years 11 months ago

Download dl.kr.org

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

claim paper

Read More »

click to vote

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers