Search Sciweavers | Sciweavers

317 search results - page 15 / 64

» Bounded Model Checking with QBF

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 28 days 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

CHARME
2003
Springer

87views Hardware» more CHARME 2003»

Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking

14 years 26 days ago

Download www.cs.wmich.edu

Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav ...

claim paper

Read More »

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

13 years 11 months ago

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

13 years 8 months ago

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

click to vote

ECAI
2010
Springer

188views Artificial Intelligence» more ECAI 2010»

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers