Submit Software
  1. Home
  2. Windows
  3. Other
  4. LTL3 tools

LTL3 tools 0.0.7

License: Free ‎File size: N/A
‎Users Rating: 4.7/5 - ‎3 ‎votes
Download

A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.

VERSION HISTORY

  • Version 0.0.7 posted on 2009-04-01
    Several fixes and updates
  • Version 0.0.7 posted on 2009-04-01

Program Details

Related Programs

  • Neve Free

    The NEtwork Visualisation Environment is a framework for 3D-visualisation of and interaction with networks, especially communication networks as the internet in both real time and as a simulation tool. Based on JMX/Java3D.

  • Wikidsmart Free

    zAgile's Wikidsmart turns Confluence into a semantic wiki and knowledge repository. Built on zCALM, the semantic web infrastructure for application interoperability, it becomes an information dashboard when Connectors to tool

  • sdf2xyz2sdf Free

    An open-source software to convert SDF files into TINKER XYZ files (and viceversa) with automatic assignment of MMFF94 atom types, bond types and charges

  • Alcoholics Anonymous 12 Steps Free Trial

    Assists in addiction recovery and provides a useful reference for any AA member.Big Book, Sobriety Calculator, 12 Steps & Traditions, Find AA Meetings, Prayers.Features include:The Big Book -Original self-help guide featu

  • Drum Count Free

    Drum Count is a simple tool which analyzes sound in real-time to measure the number of strokes played on a drumset.

  • FBReader LitRes plugin Free Trial

    Additional features for FBReader litres.ru integration.One-click litres store access.Register new users directly from FBReader, top up your account via text messages and credit cards.

  • quickdoc Free

    QuickDoc is a java document parser that reads documents from plain text files using a simple language and exports the document to other formats like PDF, HTML, Java Help and XML.

  • The Earth Science Markup Language Free

    ESML is an interchange technology that utilizes external metadata to allow applications to plug and play seamlessly with Earth Science specific datasets in heterogeneous formats.

  • RoboCup GameController Free

    RoboCup GameController is an open source software used in the RoboCup Humanoid League and the Standard Platform League. Referee commands are sent to the robots on the playing field via wireless network to reach a higher auton

  • PMath Free

    PMath is a Palm-based WYSIWYG editor of mathematical texts with possibility to convert them to LaTeX.