Similar Items: An algebraic framework for reasoning about security
- An algebraic framework for reasoning about privacy
- A kernel to support computer-aided verification of embedded software
- Automated program generation : bridging the gap between model and implementation
- A model checker for the LF system
- Investigating the non-termination of affine loops
- Simulation and verifcation software for superconducting electronic Circuits