Lightweight Program Construction and Verification Tools in Isabelle/HOL.
Alasdair ArmstrongVictor B. F. GomesGeorg StruthPublished in: SEFM (2014)
Keyphrases
- lightweight
- formal methods
- development environments
- theorem prover
- natural deduction
- model checking
- symbolic execution
- model checker
- program understanding
- computer programs
- first order logic
- communication infrastructure
- programming environments
- formal verification
- theorem proving
- dos attacks
- higher order logic
- search based software testing