Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C

January 2018

PDF DOI

Type

Conference paper

Publication

NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings