Program Verification in the Presence of I/O: Semantics, Verified Library Routines, and Verified Applications
Paper i proceeding, 2018
Författare
Hugo Férée
University Of Kent
Johannes Åman Pohjola
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Chalmers, Data- och informationsteknik, Formella metoder
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
DeepMind
S. Owens
University Of Kent
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Son Ho
École polytechnique
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11294 LNCS s. 88-111978-303003591-4 (ISBN)
Konferens
Oxford, United Kingdom, 2018-07-17 - 2018-07-18
Kategorisering
Ämneskategorier (SSIF 2011)
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
Identifikatorer
DOI
10.1007/978-3-030-03592-1_6