Search Sciweavers | Sciweavers

500 search results - page 12 / 100

» Thread-Modular Abstraction Refinement

144

click to vote

ATVA
2007
Springer

103views Hardware» more ATVA 2007»

Mind the Shapes: Abstraction Refinement Via Topology Invariants

15 years 10 months ago

Download www.model.in.tum.de

Jörg Bauer, Tobe Toben, Bernd Westphal

claim paper

Read More »

137

click to vote

DATE
2007
IEEE

100views Hardware» more DATE 2007»

Abstraction and refinement techniques in automated design debugging

15 years 10 months ago

Download www.eecg.toronto.edu

Sean Safarpour, Andreas G. Veneris

claim paper

Read More »

135

Voted

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 10 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

135

click to vote

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

15 years 10 months ago

Download www.andrew.cmu.edu

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

claim paper

Read More »

123

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers