Search Sciweavers | Sciweavers

6608 search results - page 202 / 1322

» On the Completeness of Model Checking

121

Voted

ISMVL
2003
IEEE

117views Hardware» more ISMVL 2003»

CTL Model-Checking over Logics with Non-Classical Negations

15 years 10 months ago

Download www.cs.toronto.edu

In earlier work [9], we deﬁned CTL model-checking over ﬁnite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...

Marsha Chechik, Wendy MacCaull

claim paper

Read More »

click to vote

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

15 years 10 months ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

124

click to vote

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

15 years 10 months ago

Download www.cs.sunysb.edu

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

claim paper

Read More »

157

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

15 years 10 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

109

click to vote

CHARME
2003
Springer

86views Hardware» more CHARME 2003»

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers