Search Sciweavers | Sciweavers

500 search results - page 13 / 100

» Thread-Modular Abstraction Refinement

143

Voted

DATE
2004
IEEE

109views Hardware» more DATE 2004»

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs

15 years 10 months ago

Download research.synopsys.com

Per Bjesse, James H. Kukula

claim paper

Read More »

114

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

15 years 10 months ago

Download www.lsv.ens-cachan.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

136

Voted

CAV
2008
Springer

112views Hardware» more CAV 2008»

Automated Assume-Guarantee Reasoning by Abstraction Refinement

15 years 8 months ago

Download ti.arc.nasa.gov

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dim...

claim paper

Read More »

click to vote

AIPS
1994

81views Artificial Intelligence» more AIPS 1994»

Decision-theoretic Refinement Planning Using Inheritance Abstraction

15 years 7 months ago

Download www.aaai.org

Peter Haddawy, Meliani Suwandi

claim paper

Read More »

156

Voted

IJCIS
2006

75views more IJCIS 2006»

Model-Driven Design, Refinement and Transformation of Abstract Interactions

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers