Sciweavers

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

8

CAV
2007
Springer

favoriteEmaildiscussreport

112views Hardware» more CAV 2007»

Structural Abstraction of Software Verification Conditions

13 years 8 months ago

Structural Abstraction of Software Verification Conditions

Download www.domagoj-babic.com

al Abstraction of Software Verification Conditions Domagoj Babi

Domagoj Babic, Alan J. Hu

Real-time Traffic

CAV 2007 | Columbia Precise Software | Hardware | Software Verification Conditions | Verification Conditions |

claim paper

Related Content

» Exploiting Shared Structure in Software Verification Conditions

» Building a Calculus of Data Structures

» Explaining Verification Conditions

» Specification and Checking of Software Contracts for Conditional Information Flow

» Integrating Software Testing and RunTime Checking in an Assertion Verification Framework

» Abstraction of Object Graphs in Program Verification

» A Note on Certificate Path Verification in Next Generation Mobile Communications

» Faithful mapping of model classes to mathematical structures

» Integrated Reasoning and Proof Choice Point Selection in the Jahob System Mechanisms for ...

Post Info
More Details (n/a)

Added	12 Aug 2010
Updated	12 Aug 2010
Type	Conference
Year	2007
Where	CAV
Authors	Domagoj Babic, Alan J. Hu

Comments (0)