Open source verification in an anonymous volunteer network.
Peter T. BreuerSimon PickinPublished in: Sci. Comput. Program. (2014)
Keyphrases
- open source
- peer to peer
- model checking
- communication networks
- source code
- network structure
- network traffic
- computer networks
- network design
- network management
- network architecture
- digital signature scheme
- databases
- payment scheme
- formal verification
- open source software
- network model
- wireless sensor networks
- case study
- neural network