Search Sciweavers | Sciweavers

777 search results - page 6 / 156

» Model Checking with Formula-Dependent Abstract Models

click to vote

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

15 years 3 months ago

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 3 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

15 years 3 months ago

Download www.informatik.uni-freiburg.de

Sebastian Kupferschmid, Klaus Dräger, Jö...

claim paper

Read More »

Voted

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 3 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

Voted

CAV
2004
Springer

89views Hardware» more CAV 2004»

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers