Author: Visser, Willem
Similar Items: Extended probabilistic symbolic execution
- Symbolic string execution
- Relations and programs
- A kernel to support computer-aided verification of embedded software
- Providing mechanical support for program development in a weakest precondition calculus
- Generalized nondeterminism and the succinct representation of regular languages
- A program slicer for LF