Tutorial: Continuous Verification of Critical Software.
Mike DoddsStephen MagillAaron TombPublished in: SecDev (2018)
Keyphrases
- software development
- hardware designs
- computer systems
- software architecture
- software tools
- formal methods
- formal verification
- source code
- test cases
- software systems
- software design
- software platform
- model checking
- software developers
- web based training
- verification method
- commercial software
- discrete space
- piecewise linear
- data sets
- user interface