Combination of simulation and formal methods to analyse network survivability.
Petr MatousekOndrej RysavýGayan de SilvaMartin DankoPublished in: SimuTools (2010)
Keyphrases
- formal methods
- formal analysis
- communication networks
- formal specification language
- network simulator
- peer to peer
- model checking
- provably correct
- software engineering
- wireless sensor networks
- network structure
- computer networks
- formal specification
- process algebra
- security properties
- model checker
- artificial intelligence
- development lifecycle
- spiking neural networks
- information systems
- multi agent
- databases
- knowledge based systems