Submit Software
  1. Home
  2. Windows
  3. Other
  4. Efficient Symbolic Tools

Efficient Symbolic Tools

License: Free ‎File size: N/A
‎Users Rating: 3.5/5 - ‎8 ‎votes
Download

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

VERSION HISTORY

  • Version N/A posted on 2006-10-09
    Several fixes and updates
  • Version N/A posted on 2006-10-09

Program Details

Related Programs

  • OpenX Android Widget Free

    An Android Widget which can be used in Android applications to place adverts served by OpenX into a layout.

  • Send Sources Free

    This software is like the "send to/destinataire",but you don't need to have outlook or Oe, it's just for send attachment to one adress or a list of adress in only one clik; very usefull to send to/from source at job

  • textPlus Messenger+Group Text Free

    Send messages AND pics to anyone around the world for FREE!FREE APP to APP* messaging anywhere in the world with textPlus! For Android phones and tablets. Also, text to any 10-digit US or Canadi

  • DC# Free

    DC# is an enhanced DirectConnect client written in C# for .NET platforms. Planned features include improved interface and searching capabilities, idle-triggered upload bursts, multi-source downloads, and auto search for alte

  • AIS IM+ Free

    Description in ThaiAIS IM+ (Chatn Share) MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Emoticon , , Facebook Online Facebook Twitter Timeline, @Mention, Reply, Follow/Un follower, User

  • MINDdroid Free

    Control LEGO MINDSTORMS robots with your Android phone. 2010/11 The LEGO GroupMINDdroid is a 2.1+ Android Application for the real-time direct action remote control of LEGO MINDSTORMS robots utilizing direct BlueTooth wirele

  • Linux MSN Messenger Engine by Jonathan Free

    LMME (Linux MSN Messenger Engine) is a fully asynchronous, multithreaded MSN protocol engine. If you like my project please donate to me via paypal to [email protected]

  • Texty : Free SMS (via Way2SMS) Free

    #Please leave ratings and emails.#We will add more gateways soon.Texty is an application which allows you to send free sms from your android using your online way2sms account. You can send sms to a single person or even send

  • Panic Button Free

    Panic Button provides an icon in the Windows system tray. By clicking on this icon, a user may send a screen grab and a report form to a help desk or similar. This should make it easier for users to provide useful error/probl

  • .NET UseNet Downloader & Streamer Free

    .NET usenet client (ssl support). Eventually should support streaming buffered from a server, and logging for media seen.