Verification of Dependable Software using SPARK and Isabelle.
Stefan BerghoferPublished in: SSV (2011)
Keyphrases
- software development
- model checking
- software systems
- computer systems
- software design
- hardware designs
- formal verification
- formal methods
- software tools
- neural network
- fault tolerant
- user interface
- theorem prover
- software architecture
- software quality
- software package
- hardware design
- data mining
- software application
- data sets
- functional verification