GitHub - Dodoveloper/netbill-nusmv · GitHub

Repository navigation

netbill-nusmv

Public

About

No description or website provided.

model-checking nusmv smv

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
2016s2a.pdf		2016s2a.pdf
NetBill.smv		NetBill.smv
README.md		README.md

Repository files navigation

Progetto MVSS

Model checking del protocollo NetBill effettuato utilizzando il software NuSMV.

MVSS project

Model checking of the NetBill transaction protocol using NuSMV.

About

No description or website provided.

model-checking nusmv smv

0 stars

1 watching

Report repository

Releases

Packages

Contributors