Program Verification in the Presence of I/O: Semantics, Verified Library Routines, and Verified Applications
Paper in proceeding, 2018
Author
Hugo Férée
University Of Kent
Johannes Åman Pohjola
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
DeepMind
S. Owens
University Of Kent
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Son Ho
École polytechnique
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11294 LNCS 88-111978-303003591-4 (ISBN)
Oxford, United Kingdom,
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1007/978-3-030-03592-1_6