Distributed Verification of Rare Properties using Importance Splitting Observers.
Cyrille JégourelAxel LegaySean SedwardsLouis-Marie TraonouezPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
- distributed systems
- desirable properties
- model checking
- computer networks
- distributed data
- structural properties
- distributed environment
- mobile agents
- distributed learning
- fault tolerant
- database
- cooperative
- real time
- peer to peer
- multi agent systems
- case study
- clustering algorithm
- website
- data sets
- distributed processing