Characteristic formulae for liveness properties of non-terminating CakeML programs
Paper in proceeding, 2019
Non-termination
Liveness
Hoare logic
Program verification
Author
Johannes Åman Pohjola
University of New South Wales (UNSW)
Henrik Rostedt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 141 32978-395977122-1 (ISBN)
Portland, USA,
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.4230/LIPIcs.ITP.2019.32