Search Sciweavers | Sciweavers

319 search results - page 13 / 64

» Space-Efficient Bounded Model Checking

click to vote

DDECS
2007
IEEE

103views Hardware» more DDECS 2007»

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

14 years 4 months ago

Download ira.informatik.uni-freiburg.de

Marc Herbstritt, Bernd Becker, Erika Ábrah&...

claim paper

Read More »

click to vote

DATE
2003
IEEE

100views Hardware» more DATE 2003»

Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals

14 years 3 months ago

Download www.cs.sfu.ca

: Binary Decision Diagrams (BDDs) have been widely used in synthesis and veriﬁcation. Boolean Satisﬁability (SAT) Solvers, on the other hand, have been gaining

Gianpiero Cabodi, Sergio Nocco, Stefano Quer

claim paper

Read More »

click to vote

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 11 months ago

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

14 years 4 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers