A Lesson on Verification of IoT Software with Frama-C.
Allan BlanchardNikolai KosmatovFrédéric LoulerguePublished in: HPCS (2018)
Keyphrases
- software systems
- management system
- software development
- formal methods
- source code
- hardware designs
- software maintenance
- software architecture
- computer systems
- operating system
- software components
- cloud computing
- software design
- software testing
- face verification
- software package
- hardware design
- formal verification
- neural network