Serebella
Description
Top
:
Science
:
Math
:
Logic and Foundations
:
Nonstandard Logics and Extensions
:
Temporal Logic
(7)
Open Directory - Science: Math: Logic and Foundations: Nonstandard Logics and Extensions: Temporal Logic
Prior, Arthur
@
(1)
See also:
Reference: Time
(76)
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.
Interval Temporal Logic
- A flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Zedan.
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.
TemporalRover
- Provides automatic verification of protocols and reactive systems through temporal logic specifications.
Time International Workshop Series
- The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic.
"
Temporal Logic
" search on:
AOL
-
Ask
-
Bing
-
Gigablast
-
Google
-
Lycos
-
Yahoo
-
Yippy
Volunteer
to edit this category.
Copyright © 2012 Netscape
Terms of Use
Visit our sister sites
mozilla.org
|
MusicMoz
|
Wikipedia
Last update: Tuesday, September 2, 2008 4:15:09 PM EDT -
edit
