Exploring properties of a telecommunication protocol with message delay using interactive theorem prover

Mats Carlsson, Catherine Dubois, Olga Grinchtein, Justin Pearson
January 2018
PDF Cite DOI
Type
Conference paper
Publication
SEFM 2018, the 16th International Conference on Software Engineering and Formal Methods