Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Efficient Symbolic Tools

Efficient Symbolic Tools

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.5/5 - ‎8 ‎Voti
Scaricare

Efficient Symbolic Tools package (EST) è uno strumento basato su BDD per la verifica formale dei sistemi simultanei. I suoi vantaggi sono la flessibilità, la portabilità e un'efficiente gestione della memoria. Funziona sotto diversi sistemi operativi, tra cui Linux e Windows 2000/XP.

cronologia delle versioni

  • Versione N/A pubblicato il 2006-10-09
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2006-10-09

Dettagli del programma

Programmi correlati

  • OpenX Android Widget Gratuito

    Un widget Android che può essere utilizzato nelle applicazioni Android per inserire le pubblicità servite da OpenX in un layout.

  • Send Sources Gratuito

    Questo software è come il "send to/destinataire",ma non è necessario avere outlook o Oe, è solo per inviare allegato a un indirizzo o un elenco di adress in un solo clik; molto utile da inviare da/verso la fonte al

  • textPlus Messenger+Group Text Gratuito

    Invia messaggi E foto a chiunque in tutto il mondo GRATUITAMENTE!MESSAGGISTICA GRATUITA DA APP AD APP* in qualsiasi parte del mondo con textPlus! Per telefoni e tablet Android.Inoltre, testo a qualsiasi numero di telefono

  • DC# Gratuito

    DC# è un client DirectConnect avanzato scritto in C# per piattaforme .NET. Le funzionalità pianificate includono funzionalità di interfaccia e ricerca migliorate, burst di caricamento attivati inattivi, download multi-sorgen

  • AIS IM+ Gratuito

    Descrizione in tailandeseAIS IM+ (Condivisione chat)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Emoticon , , Facebook Online Facebook Cronologia Twitter, @Mention, Risposta, Follower Follow/U

  • MINDdroid Gratuito

    Controlla i robot LEGO MINDSTORMS con il tuo telefono Android. 2010/11 The LEGO GroupMINDdroid è un'applicazione Android 2.1+ per il controllo remoto ad azione diretta in tempo reale dei robot LEGO MINDSTORMS che utilizzano

  • Linux MSN Messenger Engine by Jonathan Gratuito

    LMME (Linux MSN Messenger Engine) è un motore di protocollo MSN completamente asincrono e multithread. Se ti piace il mio progetto, donami tramite PayPal a [email protected]

  • Texty : Free SMS (via Way2SMS) Gratuito

    #Please lasciare valutazioni ed e-mail.#We aggiungerà presto altri gateway. Texty è un'applicazione che ti consente di inviare sms gratuiti dal tuo android utilizzando il tuo account way2sms online. Puoi inviare sms a una sin

  • Panic Button Gratuito

    Panic Button fornisce un'icona nella barra delle applicazioni di Windows. Cliccando su questa icona, un utente può inviare una cattura dello schermo e un modulo di report a un help desk o simili. Ciò dovrebbe rendere più faci

  • .NET UseNet Downloader & Streamer Gratuito

    Client usenet .NET (supporto SSL). Alla fine dovrebbe supportare lo streaming memorizzato nel buffer da un server e la registrazione per i supporti visti.