Google
  Web temporal-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work
Temporal Logic Sites

Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic
Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic sites
Temporal-Logic.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic
Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic sites
Temporal-Logic.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.science-sites.work
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.
lms.uni-mb.si/EST/
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.
lists.w3.org/Archives/Public/www-math/msg00496.html
Temporal Logic
The Stanford Encyclopedia of Philosophy entry on the subject , with a detailed description , application areas and a bibliography.
plato.stanford.edu/entries/logic-temporal/
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.
www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
TemporalRover
Provides automatic verification of protocols and reactive systems through temporal logic specifications.
www.time-rover.com/
Time International Workshop Series
The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning , including temporal logic.
www.cs.uregina.ca/~temporal/

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by temporal-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 temporal-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work