Gadelha, Mikhail R., Morse, Jeremy, Cordeiro, Lucas and Nicole, Denis (2017) Using clang as a frontend on a formal verification tool. FOSDEM'17, ULB Solbosch Campus, Brussels, Belgium. 04 - 05 Feb 2017.
Record type:
Conference or Workshop Item
(Paper)
Text
Using clang as a Frontend on a Formal Verification Tool
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (64kB)
More information
Published date: February 2017
Venue - Dates:
FOSDEM'17, ULB Solbosch Campus, Brussels, Belgium, 2017-02-04 - 2017-02-05
Identifiers
Local EPrints ID: 433284
URI: http://eprints.soton.ac.uk/id/eprint/433284
PURE UUID: 2903bffb-c223-4c19-9327-4db686ad2a7d
Catalogue record
Date deposited: 13 Aug 2019 16:30
Last modified: 16 Mar 2024 03:29
Export record
Contributors
Author:
Mikhail R. Gadelha
Author:
Jeremy Morse
Author:
Lucas Cordeiro
Author:
Denis Nicole
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.