References

  1. 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.
  2. 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.
  3. Ruben A Gamboa & Matt Kaufmann (2001): Nonstandard analysis in ACL2. Journal of automated reasoning 27, pp. 323–351, doi:10.1023/A:1011908113514.
  4. 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.
  5. 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.
  6. Ankit Kumar & Panagiotis Manolios (2021): Mathematical Programming Modulo Strings. In: 2021 Formal Methods in Computer Aided Design (FMCAD). IEEE, pp. 261–270, doi:10.34727/2021/isbn.978-3-85448-046-4_36.
  7. 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.
  8. 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.
  9. 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.
  10. 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).

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org