1. Efficient LTL compilation for SAT-based model checking;R Armoni;ICCAD-2005
2. Vericon: towards verifying controller programs in software-defined networks;T Ball;ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14,2014
3. Verifying security policies in multi-agent workflows with loops;B Finkbeiner;Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security,2017
4. Our construction of tight automata reduces the problem of verification of safety properties to the problem of invariance checking;O Kupferman;Computer Aided Verification, 11th International Conference, CAV '99,1999