Search Sciweavers | Sciweavers

1023 search results - page 6 / 205

» Model Checking: Software and Beyond

155

click to vote

CAV
2006
Springer

101views Hardware» more CAV 2006»

Terminator: Beyond Safety

15 years 9 months ago

Download www.foment.net

Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...

Byron Cook, Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

114

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 10 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

125

click to vote

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

15 years 10 months ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

133

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 10 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

123

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers