Compositional Verification of Sensor Software Using Uppall.
Mustafa HammadJonathan CookPublished in: ISSRE (2012)
Keyphrases
- sensor networks
- software development
- software systems
- software tools
- database
- multi sensor
- source code
- computer systems
- sensor data
- model checking
- fiber bragg grating
- commercial software
- software package
- static analysis
- software architecture
- databases
- real time
- user interface
- e learning
- artificial intelligence
- genetic algorithm
- formal methods
- neural network
- software packages
- high sensitivity
- hardware designs