Search Sciweavers | Sciweavers

3224 search results - page 233 / 645

» On Checking Model Checkers

121

click to vote

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

16 years 11 days ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

198

Voted

MEMOCODE
2003
IEEE

144views Formal Methods» more MEMOCODE 2003»

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

16 years 11 days 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 »

168

click to vote

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

16 years 10 days ago

Download www.cs.sunysb.edu

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

claim paper

Read More »

187

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

16 years 10 days ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

143

click to vote

CHARME
2003
Springer

86views Hardware» more CHARME 2003»

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers