Search Sciweavers | Sciweavers

10870 search results - page 253 / 2174

» Model Checking Programs

132

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

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

106

click to vote

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

15 years 7 months ago

Download www.cs.sunysb.edu

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

claim paper

Read More »

133

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

15 years 7 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

click to vote

CHARME
2003
Springer

86views Hardware» more CHARME 2003»

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

15 years 7 months ago

Download www.comlab.ox.ac.uk

E. Allen Emerson, Thomas Wahl

claim paper

Read More »

click to vote

CHARME
2003
Springer

87views Hardware» more CHARME 2003»

Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers