Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

4

DATE
2009
IEEE

favoriteEmaildiscussreport

92views Hardware» more DATE 2009»

Strengthening properties using abstraction refinement

13 years 11 months ago

Strengthening properties using abstraction refinement

Download www.date-conference.com

Mitra Purandare, Thomas Wahl, Daniel Kroening

Real-time Traffic

DATE 2009 | Hardware |

claim paper

Related Content

» A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Bu...

» Formal Property Verification by Abstraction Refinement with Formal Simulation and Hybrid E...

» Arithmetic Strengthening for Shape Analysis

» Strengthened Security for Blind Signatures

» Word level predicate abstraction and refinement for verifying RTL verilog

» Refining abstract interpretations

» A Dash of Fairness for Compositional Reasoning

» ThreadModular Abstraction Refinement

» Possibilistic Information Flow Control in MAKS and Action Refinement

Post Info
More Details (n/a)

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	DATE
Authors	Mitra Purandare, Thomas Wahl, Daniel Kroening

Comments (0)