GDPA  
Index for tools/publications on formal methods  

Types of Systems: Reactive systems

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

    2000:
    /Bultan, 2000/ Action Language: A Specification Language for Model Checking Reactive Systems

    1991:
    /Maraninchi, 1991 The Argos language: Graphical Representation of Automata and Description of Reactive Systems
    /Seifert, 1991/ Realtime-CASE: Die Spezifikation reaktiver Systeme

    Projects/Tools

    DisCo - specification method for reactive systems
    Esterel - Language and Tools
    LUSTRE - language for programming reactive systems
    TLA - Temporal Logic of Actions
    TTM/RTTL - framework for real-time reactive systems
    VeriSoft - model checking tool

    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