izvor podataka: crosbi
!
Proving formal properties of the Chord protocol using Isabelle (CROSBI ID 653431)
Prilog sa skupa u zborniku | ostalo | međunarodna recenzija
Todorovic, Milan, Zeljić, Aleksandar ; Marinkovic, Bojan ; Glavan, Paola ; Ognjanovic, Zoran
Proving formal properties of the Chord protocol using Isabelle // Logic and Applications, 2015 / Ghilezan S, Ognjanovic Z. (ur.). Dubrovnik, 2015. str. 15-18
Podaci o odgovornosti
Todorovic, Milan, Zeljić, Aleksandar ; Marinkovic, Bojan ; Glavan, Paola ; Ognjanovic, Zoran
engleski
Proving formal properties of the Chord protocol using Isabelle
We use the theorem prover Isabelle in order to formalize and prove properties of peer-to-peer protocol Chord.
Chord Protocol, Isabelle
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
15-18.
2015.
objavljeno
Podaci o matičnoj publikaciji
Logic and Applications, 2015
Ghilezan S, Ognjanovic Z.
Dubrovnik:
Podaci o skupu
Logic and Application
predavanje
21.09.2015-25.09.2015
Dubrovnik, Hrvatska
Povezanost rada
Povezane osobe
Povezane ustanove