Search Sciweavers | Sciweavers

319 search results - page 14 / 64

» Space-Efficient Bounded Model Checking

Voted

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 10 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

123

Voted

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 10 months ago

Download www.kroening.com

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

claim paper

Read More »

113

Voted

CHARME
2003
Springer

87views Hardware» more CHARME 2003»

Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking

15 years 10 months ago

Download www.cs.wmich.edu

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

claim paper

Read More »

128

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 9 months ago

Download homepages.laas.fr

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

claim paper

Read More »

125

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers