Search Sciweavers | Sciweavers

507 search results - page 9 / 102

» Counterexample-Guided Abstraction Refinement

click to vote

RTSS
2009
IEEE

148views Control Systems» more RTSS 2009»

Component-Based Abstraction Refinement for Timed Controller Synthesis

14 years 3 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper

Read More »

click to vote

APN
2007
Springer

73views Artificial Intelligence» more APN 2007»

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

14 years 2 months ago

Download www.ulb.ac.be

Pierre Ganty, Jean-François Raskin, Laurent...

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

14 years 2 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

14 years 2 months ago

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

click to vote

DATE
2006
IEEE

73views Hardware» more DATE 2006»

Verifying analog oscillator circuits using forward/backward abstraction refinement

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers