AUSPICE-R

MaRDI QIDQ30116swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-47958-3_3

Described by source

• AUSPICE-R: automatic safety-property proofs for realistic features in machine code

Cited in

(5)

• Eliom
• Akkaprof
• BPGen
• Gopherlyzer
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings

This page was built for software: AUSPICE-R