Submit Software
  1. Home
  2. Linux
  3. Other
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

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

ACF is a framework for writing model-checkers. ACF is built on the fundamental observation that the structure of most model-checking algorithms is independent of the formalism used to describe the system.

VERSION HISTORY

  • Version 0.1 posted on 2000-03-21
    Several fixes and updates
  • Version 0.1 posted on 2000-03-21

Program Details

Related Programs

  • LEP Free

    Literate Eclipse Programming assists developers in writing structured, well documented source code. LEP integrates automated extraction of source code and documentation into a familiar eclipse environment. Compiling and debug

  • BakerBots Free

    This is the Baker College, intern-developed application for running bots as avatars in Second Life, OpenSim, etc. It relies on Program# for AIML processing and libOpenMetaverse for the SL browser functionality.

  • Survival Medicine Guide Free Trial

    ******"Requires Free Adobe Reader"********This is a survival medicine guide in case what we all fear really happens. This is a great compliment to any good survival manual. This info may not be available when you need it. Get

  • Universal Maths Conversion Library Free

    The UMCL library provides a single API to developers of applications necessitating conversions between different Maths formats and especially Braille specific notations.

  • Bhagavad Gita(YaBG) Free

    YaBG - Yet another "Bhagavad Gita" app. This app allows you to read through the entire bhagavad gita without any interruptions; no ads, no painful pop ups; completely free and nothing intrusive. I created this app s

  • PONS German PREMIUM Free Trial

    The PONS Dictionary German as a foreign language PREMIUM is with 77,000 keywords, phrases and constructions and more than 125,000 definitions and examples the most comprehensive standard reference tool by PONS.Are you learnin

  • jQuantum Free

    jQuantum is a Java program to simulate a quantum computer, to design quantum circuits, and to visualize the execution of quantum algorithms. Another main purpose, however, is to create images in your head, and thereby - under

  • FlameBitmaps Free

    Calculating 2D-Gray-scale bitmaps Calculation of a 3D-rotation-body form a detected area by using different image processing algorithms. Developed for the German Aerospace Center (DLR). Used Projects: Substance (GUI)

  • fropho Free

    fropho calculates phonon properties in crystal, which is based on Parlinski-Li-Kawazoe method. Information of forces acting on atoms when an atom is displaced is required as input information. fropho is going to be replaced b

  • FSMPP - Finite State Machines in C++ Free

    FSMPP is a library providing a simple, lite and intuitive framework for building Finite State Machines in C++.