Towards Full Proof Automation in Frama-C Using Auto-active Verification

Publication
NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings