conference paper

AUSPICE: Automatic Safety Property Verification for Unmodified Executables

Jiaqi Tan^a✉, Hui Jun Tay^a, Rajeev Gandhi^a, Priya Narasimhan^a

^aDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, USA
✉Corresponding author

Lecture notes in computer science Springer Science+Business Media2016-01-01 14 citations31 references

Looking for the full paper…

Export

Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.

Abstract

No abstract is available from our sources. Use “Read paper” to view it.

TL;DRA novel logic framework, AUSPICE, for automatic safety property verification for unmodified executables, extends an existing trustworthy Hoare logic for local reasoning, and provides a novel proof tactic for selective composition is presented. (Semantic Scholar)

Plain-language summary

AI illustration of the topic of “AUSPICE: Automatic Safety Property Verification for Unmodified Executables”

AUSPICE: Automatic Safety Property Verification for Unmodified Executables

Abstract

Plain-language summary

Discussion