The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.
Sergio Feo ArenisBernd WestphalDaniel DietschMarco MuñizAhmad Siyar AndishaPublished in: FM (2014)
Keyphrases
- formal verification
- model checking
- model checker
- wireless networks
- wireless communication
- automated verification
- industrial applications
- mobile devices
- bounded model checking
- program slicing
- symbolic model checking
- monitoring system
- widely accepted
- temporal logic
- mobile users
- web services
- formal specification
- wifi
- mobile networks
- iso iec
- mobile terminals
- metadata