Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Efficient Symbolic Tools

Efficient Symbolic Tools

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.5/5 - ‎8 ‎Votes
Télécharger

Efficient Symbolic Tools package (EST) est un outil basé sur bdd pour la vérification formelle des systèmes simultanés. Ses avantages sont la flexibilité, la portabilité et une gestion efficace de la mémoire. Il fonctionne sous différents systèmes d’exploitation, y compris Linux et Windows 2000/XP.

historique de la version

  • Version N/A posté sur 2006-10-09
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2006-10-09

Détails du programme

Programmes connexes

  • OpenX Android Widget Gratuit

    Un widget Android qui peut être utilisé dans les applications Android pour placer les annonces servies par OpenX dans une mise en page.

  • Send Sources Gratuit

    Ce logiciel est comme le "send à /destinataire", mais vous n’avez pas besoin d’avoir outlook ou Oe, c’est juste pour envoyer la pièce jointe à une robe ou une liste d’adress en un seul clik; très utile d’envoyer à /

  • textPlus Messenger+Group Text Gratuit

    Envoyez des messages et des photos à n’importe qui dans le monde entier gratuitement!APPLICATION GRATUITE POUR APP* messagerie n’importe où dans le monde avec textPlus! Pour téléphones et tablettes Android.En outre, texte

  • DC# Gratuit

    DC# est un client DirectConnect amélioré écrit en C# pour les plateformes .NET. Les fonctionnalités prévues incluent des fonctionnalités d’interface et de recherche améliorées, des rafales de téléchargement déclenchées au ra

  • AIS IM+ Gratuit

    Description en ThaiAIS IM+ (Partage Chatn)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Emoticon , , Facebook Facebook en ligne Twitter Timeline, @Mention, Reply, Follow/Un follower, User Profi

  • MINDdroid Gratuit

    Contrôlez les robots LEGO MINDSTORMS avec votre téléphone Android. 2010/11 Le Groupe LEGOMINDdroid est une application Android 2.1+ pour la télécommande d’action directe en temps réel des robots LEGO MINDSTORMS utilisant la

  • Linux MSN Messenger Engine by Jonathan Gratuit

    LMME (Linux MSN Messenger Engine) est un moteur de protocole MSN entièrement asynchrone et multithreaded. Si vous aimez mon projet s’il vous plaît faire un don à moi via PayPal à [email protected]

  • Texty : Free SMS (via Way2SMS) Gratuit

    #Please les évaluations et email.#We ajouteront bientôt d’autres passerelles. Texty est une application qui vous permet d’envoyer des sms gratuits à partir de votre android en utilisant votre compte way2sms en ligne. Vous pou

  • Panic Button Gratuit

    Panic Button fournit une icône dans le plateau du système Windows. En cliquant sur cette icône, un utilisateur peut envoyer une capture d’écran et un formulaire de rapport à un service d’assistance ou similaire. Cela devrait

  • .NET UseNet Downloader & Streamer Gratuit

    .NET usenet client (support ssl). Éventuellement devrait prendre en charge le streaming tamponné à partir d’un serveur, et la connexion pour les médias vus.