Search Sciweavers | Sciweavers

698 search results - page 15 / 140

» Model Checking with Multi-valued Logics

112

Voted

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 11 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

116

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 11 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

123

Voted

LICS
2006
IEEE

84views Automated Reasoning» more LICS 2006»

Temporal Logics and Model Checking for Fairly Correct Systems

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

133

Voted

CAV
2004
Springer

86views Hardware» more CAV 2004»

MCK: Model Checking the Logic of Knowledge

15 years 10 months ago

Download www.cse.unsw.edu.au

Peter Gammie, Ron van der Meyden

claim paper

Read More »

117

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers