Search Sciweavers | Sciweavers

1689 search results - page 14 / 338

» Refining abstract interpretations

click to vote

CAV
2008
Springer

112views Hardware» more CAV 2008»

Automated Assume-Guarantee Reasoning by Abstraction Refinement

15 years 3 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 3 months ago

Download www.aaai.org

Peter Haddawy, Meliani Suwandi

claim paper

Read More »

101

Voted

IJCIS
2006

75views more IJCIS 2006»

Model-Driven Design, Refinement and Transformation of Abstract Interactions

15 years 1 months ago

Download www.inf.ufes.br

João Paulo A. Almeida, Remco M. Dijkman, Lu...

claim paper

Read More »

click to vote

CORR
2007
Springer

90views Education» more CORR 2007»

Predicate Abstraction with Under-approximation Refinement

15 years 1 months ago

Download www.cs.sun.ac.za

Corina S. Pasareanu, Radek Pelánek, Willem ...

claim paper

Read More »

click to vote

ENTCS
2007

80views more ENTCS 2007»

SAT-based Abstraction Refinement for Real-time Systems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers