AUSPICE-R

swMATH18273MaRDI QIDQ30116FDOQ30116

Author name not available (Why is that?)

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)

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

This page was built for software: AUSPICE-R