Skip to content

Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino

Notifications You must be signed in to change notification settings

LucaGrasso/LPVS----Model-Checker-di-una-BlockChain

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 

Repository files navigation

A Pub-Sub Architecture to Promote Blockchain Interoperability

  • LPVS---Model-Check-della-BlockChain for 2023

    Progetto del corso Linguaggi di Programmazione e Verifica Software tenuto a Urbino.

  • Questo progetto è stato realizzato con l'utilizzo del software: https://nusmv.fbk.eu/

  • nel file si trovano tutte le informazioni per l'esecuzione e per la verifica del modello proposto dall'articolo accademico.

Ringrazio le uniche due persone che mi sostengono in questo percorso.


Per una donazione, se il mio lavoro è stato utile un caffe in segno di amicizia, altrimenti anche un messaggio di ringraziamento.

cup of coffe https://www.paypal.com/donate/?hosted_button_id=A3AQE2CXQ79CN

About

Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino

Topics

Resources

Stars

Watchers

Forks