Search Sciweavers | Sciweavers

319 search results - page 14 / 64

» Space-Efficient Bounded Model Checking

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

14 years 3 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

14 years 3 months ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

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 3 months 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

14 years 1 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers