Matousek, Petr and Rysavy, Ondrej and Silva, Gayan de and Danko, Martin (2010) Combination of simulation and formal methods to analyse network survivability. In: 3rd International ICST Conference on Simulation Tools and Techniques.
![[thumbnail of 9687.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "9687.pdf")
PDF
9687.pdf
Download (279kB)
Abstract
Modern computer networks are complex and their topology can dynamically change when links go down. It is difficult to predict behaviour of a large network with dynamic routing protocols. To automatically prove survivability and reliabil- ity of an end-to-end connection, formal analysis combined with
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 08:50 |
| Last Modified: | 18 Apr 2026 07:48 |
| URI: | http://eprints.eai.eu/id/eprint/1645 |
Actions (login required)
- View Item