Search Sciweavers | Sciweavers

1023 search results - page 6 / 205

» Model Checking: Software and Beyond

141

click to vote

CAV
2006
Springer

101views Hardware» more CAV 2006»

Terminator: Beyond Safety

15 years 8 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 »

103

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 9 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

117

click to vote

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

15 years 9 months ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

128

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 9 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

111

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers