https://e-sygoing.link Latest links in the Temporal Logic category en-us Sun, 24 May 2026 14:39:35 -0400 https://e-sygoing.link/link/5285828-marking-up-temporal-logic First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series. Sun, 01 Dec 2024 04:24:34 -0500 https://e-sygoing.link/go/5285828 https://e-sygoing.link/link/5285831-efficient-symbolic-tools A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT. Sat, 09 Nov 2024 12:08:24 -0500 https://e-sygoing.link/go/5285831 https://e-sygoing.link/link/5285826-temporal-logic The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography. Fri, 21 Jun 2024 22:26:52 -0400 https://e-sygoing.link/go/5285826 https://e-sygoing.link/link/5285825-spin A general tool for verifying the correctness of distributed software (designs) in a rigorous and mostly automated fashion. Can be used as a full linear temporal logic model checking system. Mon, 10 Jun 2024 23:44:00 -0400 https://e-sygoing.link/go/5285825 https://e-sygoing.link/link/5285823-temporal-logic-case-study A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. Sun, 07 Apr 2024 22:49:31 -0400 https://e-sygoing.link/go/5285823