P. Dillinger, P. Manolios, D. Vroon & J.S. Moore (2007):
ACL2s: The ACL2 sedan.
Electronic Notes in Theoretical Computer Science - ENTCS 174,
doi:10.1016/j.entcs.2006.09.018.
J. Giesl, C. Aschermann, M. Brockschmidt & et al. (2017):
Analyzing Program Termination and Complexity Automatically with AProVE.
Journal of Automated Reasoning 58,
doi:10.1007/s10817-016-9388-y.
M. Kaufmann, P. Manolios & J.S. Moore (2000):
Computer-Aided Reasoning: An Approach.
Kluwer Academic,
doi:10.1109/32.588534.
O. Kupferman (2018):
Automata Theory and Model Checking.
Handbook of Model Checking (2018),
doi:10.1007/978-3-319-10575-8_4.
L. Lamport (1974):
A new solution of Dijkstra’s concurrent programming problem.
Communications of the ACM 17(8),
doi:10.1145/3335772.3335782.
P. Manolios, K. Namjoshi & R. Sumners (1999):
Linking model-checking and theorem-proving with well-founded bisimulations.
Proceedings of the 11th International Conference on Computer-Aided Verification (CAV 1999) 1633,
doi:10.1007/3-540-48683-6_32.
P. Manolios & D. Vroon (2006):
Termination Analysis with Calling Context Graphs..
Proceedings of the 18th International Conference on Computer-Aided Verification (CAV 2006),
doi:10.1007/11817963_36.
Y. Peng & M. Greenstreet (2018):
Smtlink 2.0.
Proceedings of 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018),
doi:10.4204/EPTCS.280.11.
S. Ray & R. Sumners (2013):
Specification and Verification of Concurrent Programs Through Refinements.
Journal of Automated Reasoning 51(3),
doi:10.1007/s10817-012-9258-1.
R. Sumners (2017):
Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications.
Proceedings of 14th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2017),
doi:10.4204/EPTCS.249.6.
S. Swords (2018):
Incremental SAT Library Integration Using Abstract Stobjs.
Proceedings of 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018),
doi:10.4204/EPTCS.280.4.
S. Swords & J. Davis (2011):
Bit-Blasting ACL2 Theorems.
Proceedings of 10th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2011),
doi:10.4204/EPTCS.70.7.