s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
968 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 4b6c9290bd
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '4b6c9290bd'
${ noResults }
prism-accumulation/prism-examples/peer2peer
Luke Herbert 4b6c9290bd
Modified xprism.bat so as not to pop up a console window when launching the GUI version of PRISM under windows. Tested on a Windows 7 system (this only affects windows). 		16 years ago
..
.autopp Added peer2peer example. 19 years ago
.peer2peerN_K.sm.pp Added peer2peer example. 19 years ago
README Fixed web addresses in README files. 19 years ago
auto Changed auto (commented out parts so run more quickly for testing. 18 years ago
peer2peer.csl Added peer2peer example. 19 years ago
peer2peer4_4.sm Added peer2peer example. 19 years ago
peer2peer4_5.sm Added peer2peer example. 19 years ago
peer2peer4_6.sm Added peer2peer example. 19 years ago
peer2peer4_7.sm Added peer2peer example. 19 years ago
peer2peer4_8.sm Added peer2peer example. 19 years ago
peer2peer5_4.sm Added peer2peer example. 19 years ago
peer2peer5_5.sm Added peer2peer example. 19 years ago
peer2peer5_6.sm Added peer2peer example. 19 years ago
peer2peer5_7.sm Added peer2peer example. 19 years ago
peer2peer5_8.sm Added peer2peer example. 19 years ago

README 

This case study models a very simple peer-to-peer protocol, loosely based on BitTorrent.



For more information, see: http://www.prismmodelchecker.org/casestudies/peer2peer.php



=====================================================================================