UPPAAL in Practice: Quantitative Verification of a RapidIO Network.
Jiansheng XingBart D. TheelenRom LangerakJaco van de PolJan TretmansJeroen VoetenPublished in: ISoLA (2) (2010)
Keyphrases
- model checking
- wireless sensor networks
- network traffic
- database
- mobile robot
- peer to peer
- computer networks
- model checker
- information systems
- qualitative and quantitative
- formal verification
- network topologies
- timed automata
- asynchronous circuits
- distributed network
- formal methods
- response time
- software engineering
- real time