Characteristic formulae for liveness properties of non-terminating CakeML programs
Paper i proceeding, 2019
Non-termination
Liveness
Hoare logic
Program verification
Författare
Johannes Åman Pohjola
University of New South Wales (UNSW)
Henrik Rostedt
Chalmers, Data- och informationsteknik, Formella metoder
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 141 32978-395977122-1 (ISBN)
Portland, USA,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.4230/LIPIcs.ITP.2019.32