Publications
Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations par Arthur Tran Van, Olivier Levillain et Hervé Debar (conférence ARES)
Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations par Arthur Tran Van, Olivier Levillain et Hervé Debar (conférence ARES)