| 1. | 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 |
| 3. | Temporal Logic | | | The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.
plato.stanford.edu |
| 4. | TemporalRover | | | Provides automatic verification of protocols and reactive systems through temporal logic specifications.
www.time-rover.com |
| 5. | 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 |
| | |