Susanne Graf & Hassen Saïdi (1997):
Construction of Abstract State Graphs with PVS.
In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings,
pp. 72–83,
doi:10.1007/3-540-63166-6_10.
David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon & Matthew Wilding (2008):
Efficient execution in an automated reasoning environment.
J. Funct. Program. 18(1),
pp. 15–46,
doi:10.1017/S0956796807006338.
Mitesh Jain & Panagiotis Manolios (2015):
Proving Skipping Refinement with ACL2s.
In: Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015.,
pp. 111–127,
doi:10.4204/EPTCS.192.9.
Matt Kaufmann, Panagiotis Manolios & J Strother Moore (2000):
Computer-Aided Reasoning: An Approach.
Kluwer Academic,
doi:10.1007/978-1-4757-3188-0.
Matt Kaufmann & Rob Sumners (2002):
Efficient rewriting of data structures in ACL2.
In: Kaufmann M. Moore J.S. Borrione, D.: Proceedings of 3rd International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2002).
Marcel Kyas & Jozef Hooman (2006):
Compositional Verification of Timed Components using PVS.
In: Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig,
pp. 143–154.
Leslie Lamport (1974):
A New Solution of Dijkstra's Concurrent Programming Problem.
Commun. ACM 17(8),
pp. 453–455,
doi:10.1145/361082.361093.
Panagiotis Manolios, Kedar S. Namjoshi & Robert Summers (1999):
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.
In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings,
pp. 369–379,
doi:10.1007/3-540-48683-6_32.
Sandip Ray & Rob Sumners (2011):
A theorem proving approach for verification of reactive concurrent programs.
In: Chaudhury S. Farzan A. Gopalakrishnen G. Seigel S. Burckhardt, S.: 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011).
Sandip Ray & Rob Sumners (2013):
Specification and Verification of Concurrent Programs Through Refinements.
J. Autom. Reasoning 51(3),
pp. 241–280,
doi:10.1007/s10817-012-9258-1.