/mvss_exam

Formal Verification and Simulation of the NetBill Protocol

GNU General Public License v3.0GPL-3.0

MVSS Project

Progetto Modellazione e Verifica Sistemi Software Sessione Estiva 2016.

Model Checking - NetBill Security and Transaction Protocol

Specification

Delivery date: 18/06/2016