A Case Study in Verification of Embedded Network Software.
Kalyan C. RegulaHampton SmithHeather KeownJason O. HallstromNigamanth SridharMurali SitaramanPublished in: NASA Formal Methods (2012)
Keyphrases
- embedded systems
- software design
- software development
- computer networks
- control software
- software architecture
- data flow
- software systems
- model checking
- case study
- complex networks
- computer systems
- network management
- hardware design
- peer to peer
- software maintenance
- object oriented
- digital images
- wireless sensor networks