Search Sciweavers | Sciweavers

507 search results - page 12 / 102

» Counterexample-Guided Abstraction Refinement

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

14 years 1 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

click to vote

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

14 years 1 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

14 years 1 months ago

Download mtc.epfl.ch

Roman Manevich, John Field, Thomas A. Henzinger, G...

claim paper

Read More »

click to vote

DATE
2004
IEEE

109views Hardware» more DATE 2004»

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs

14 years 1 months ago

Download research.synopsys.com

Per Bjesse, James H. Kukula

claim paper

Read More »

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers