Modular verification of liveness properties of the I/O behavior of imperative programs

Jacobs, BartBartJacobs2021-10-282021-10-282020-10https://imec-publications.be/handle/20.500.12860/35315Modular verification of liveness properties of the I/O behavior of imperative programsProceedings paperhttps://doi.org/10.1007/978-3-030-61362-4_29