N. Marti

Model-checking of a Multi-threaded Operating System ∗

A. Yonezawa, Reynald Affeldt, N. Marti, 2007 .

Towards formal verification of TLS network packet processing written in C

Reynald Affeldt, Nicolas Marti, Reynald Affeldt, 2013, PLPV.