Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli & Lenore D. Zuck:
TVOC: A Translation Validator for Optimizing Compilers.
In: CAV, 2005.
Available at http://dx.doi.org/10.1007/11513988_29.
Michael C. Browne, Edmund M. Clarke & Orna Grumberg:
Characterizing Finite Kripke Structures in Propositional Temporal Logic.
In: Theoretical Computer Science, 1988.
Available at http://dx.doi.org/10.1016/0304-3975(88)90098-9.
Harsh Raju Chamarthi, Peter C. Dillinger & Panagiotis Manolios:
Data Definitions in the ACL2 Sedan.
In: ACL2 2014.
Available at http://dx.doi.org/10.4204/EPTCS.152.3.
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios & Daron Vroon:
The ACL2 Sedan Theorem Proving System.
In: TACAS 2011.
Available at http://dx.doi.org/10.1007/978-3-642-19835-9_27.
Rob J. van Glabbeek:
The Linear Time-Branching Time Spectrum (Extended Abstract).
In: CONCUR 1990.
Available at http://dx.doi.org/10.1007/BFb0039066.
David S Hardin:
Real-time objects on the bare metal: an efficient hardware realization of the Java TM Virtual Machine.
In: ISORC, 2001,
doi:10.1109/ISORC.2001.922817.
Samuel Larsen & Saman P. Amarasinghe:
Exploiting superword level parallelism with multimedia instruction sets.
In: PLDI, 2000.
Available at http://doi.acm.org/10.1145/349299.349320.
P. Manolios:
Mechanical verification of reactive systems.
University of Texas.
Panagiotis Manolios & Sudarshan K. Srinivasan:
A computationally effecient method based on commitment refinement maps for verifying pipelined machines.
In: MEMOCODE, 2005.
Available at http://dx.doi.org/10.1109/MEMCOD.2005.1487914.
Sandip Ray & Warren A. Hunt Jr.:
Deductive Verification of Pipelined Machines Using First-Order Quantification.
In: CAV 2004.
Available at http://dx.doi.org/10.1007/978-3-540-27813-9_3.
Sandip Ray & Rob Sumners:
Specification and Verification of Concurrent Programs Through Refinements.
In: Journal of Automated Reasoning.
Available at http://dx.doi.org/10.1007/s10817-012-9258-1.
Anna Slobodová, Jared Davis, Sol Swords & Warren A. Hunt Jr.:
A flexible formal verification framework for industrial scale validation.
In: MEMOCODE, 2011.
Available at http://dx.doi.org/10.1109/MEMCOD.2011.5970515.