Search Sciweavers | Sciweavers

4341 search results - page 196 / 869

» Quantitative Model checking

click to vote

ISMVL
2003
IEEE

117views Hardware» more ISMVL 2003»

CTL Model-Checking over Logics with Non-Classical Negations

14 years 4 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

14 years 4 months ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

click to vote

MEMOCODE
2003
IEEE

144views Formal Methods» more MEMOCODE 2003»

LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect

14 years 4 months ago

Download ftp.inrialpes.fr

In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...

Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...

claim paper

Read More »

click to vote

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

14 years 4 months ago

Download www.cs.sunysb.edu

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

claim paper

Read More »