- Formal Verification of the Optimality of the Earliest Deadline First Algorithm, L. Barnett and C. Deutschbein.
- Designing a Symbolic Execution Engine for Verification, M. Brown, A. Byrnes, and M. Nesfield.
- LTL Assertion Mining for Hardware Execution Traces, C. Griggs and R. Zhang.
- Formally Verifying EAP-EKE, M. Hackett and F. Li.
- Formal Verification of a Distributed File System, J. Park and A. Wang.