Harsh Chamarthi, Peter C. Dillinger, Panagiotis Manolios & Daron Vroon (2011):
The "ACL2" Sedan Theorem Proving System.
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
doi:10.1007/978-3-642-19835-9_27.
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon & J Strother Moore (2007):
ACL2s: "The ACL2 Sedan".
In: International Conference on Software Engineering (ICSE),
doi:10.1109/ICSECOMPANION.2007.14.
Ruben A Gamboa & Matt Kaufmann (2001):
Nonstandard analysis in ACL2.
Journal of automated reasoning 27,
pp. 323–351,
doi:10.1023/A:1011908113514.
Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru & Lenore Zuck (2023):
A Formal Analysis of Karn’s Algorithm.
In: 2023 International Conference on NETworked sYStems (NETYS).
Springer,
doi:10.1007/978-3-031-37765-5_4.
Phil Karn & Craig Partridge (1987):
Improving round-trip time estimates in reliable transport protocols.
ACM SIGCOMM Computer Communication Review 17(5),
pp. 2–7,
doi:10.1145/55483.55484.
Panagiotis Manolios & Daron Vroon (2006):
Termination analysis with calling context graphs.
In: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings 18.
Springer,
pp. 401–414,
doi:10.1007/11817963_36.
Oded Padon, Kenneth L McMillan, Aurojit Panda, Mooly Sagiv & Sharon Shoham (2016):
Ivy: safety verification by interactive generalization.
In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,
pp. 614–630,
doi:10.1145/2908080.2908118.
V. Paxson, M. Allman, J. Chu & M. Sargent (2011):
Computing TCP's Retransmission Timer.
https://datatracker.ietf.org/doc/html/rfc6298.
Accessed 15 June 2023.
Brian M. Scott (https://math.stackexchange.com/users/12042/brian-m scott):
Nested Division in the Ceiling Function.
Mathematics Stack Exchange.
Available at https://math.stackexchange.com/q/233684.
(version: 2012-11-09).