Search Sciweavers | Sciweavers

1689 search results - page 5 / 338

» Refining abstract interpretations

141

click to vote

FDL
2011
IEEE

193views Natural Language Processing» more FDL 2011»

Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware

13 years 9 months ago

Download www.teisa.unican.es

Refinement of AbstractSystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardwareg F HerreraF. Herrera E. Villar P.A. Hartmann Sli...

Fernando Herrera, Eugenio Villar, Philipp A. Hartm...

claim paper

Read More »

click to vote

SAS
2010
Springer

175views Formal Methods» more SAS 2010»

Thread-Modular Counterexample-Guided Abstraction Refinement

14 years 7 months ago

Download software.imdea.org

ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M

Alexander Malkis, Andreas Podelski, Andrey Rybalch...

claim paper

Read More »

click to vote

JLP
2008

98views more JLP 2008»

Comparing disjunctive modal transition systems with an one-selecting variant

14 years 9 months ago

Download www.doc.ic.ac.uk

models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...

Harald Fecher, Heiko Schmidt

claim paper

Read More »

click to vote

ITP
2010

143views Mathematics» more ITP 2010»

A Certified Denotational Abstract Interpreter

14 years 11 months ago