2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

2024‑07‑30 – Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA).

• 2024‑07‑30 - Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA).
• https://github.com/informalsystems/quint
• redirect https://dotat.at/:/8PAE7
• blurb https://dotat.at/:/8PAE7.html
• atom entry https://dotat.at/:/8PAE7.atom
• web.archive.org archive.today