Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB: (Short Paper)
Paper i proceeding, 2018
Författare
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
University of New South Wales (UNSW)
Eric Mullen
University of Washington
Zachary Tatlock
University of Washington
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10895 LNCS 362-369978-331994820-1 (ISBN)
Oxford, United Kingdom,
Ämneskategorier
Filosofi
Datavetenskap (datalogi)
Datorsystem
DOI
10.1007/978-3-319-94821-8_21