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 differen…
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.
Temporal Logic
The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.
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.
Showing 20–5 of 5 results