Verifying software network functions with no verification expertise.
Arseniy ZaostrovnykhSolal PirelliRishabh R. IyerMatteo RizzoLuis PedrosaKaterina J. ArgyrakiGeorge CandeaPublished in: SOSP (2019)
Keyphrases
- model checking
- network model
- software maintenance
- network structure
- verification method
- formal verification
- peer to peer
- wireless sensor networks
- software systems
- real time
- complex networks
- network resources
- software design
- expert systems
- artificial intelligence
- abstraction layer
- data flow
- software components
- communication networks
- development process
- computer networks
- software architecture
- sensor networks