GDPA  
Index for tools/publications on formal methods  

Temporal logic

Contents  
  • Publications
  • Projects/Tools
  • See also
  • Publications

    /Kroeger, 1987/ Temporal Logic of Programs

    Projects/Tools

    HyTech - The HYbrid TECHnology Tool
    ITL - Interval Temporal Logic
    LOTOS - Language of Temporal Ordering Specifications(?)
    STeP - Stanford Temporal Prover
    Temporal-Rover - formal specification and testing
    TLA - Temporal Logic of Actions
    TRIO - tools for real-time systems

    See also

    Index for tools/publications on formal methods

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster