Similar Items: Investigating the non-termination of affine loops
- 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
- An algebraic framework for reasoning about security
- Reducing communication in distributed model checking
- Distributed binary decision diagrams