Efficient Symbolic Tools
Edit Page
Report
Scan day: 17 February 2014 UTC
22
Virus safety - good
Description: A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.
Efficient Symbolic Tools package (EST) Efficient Symbolic Tools package (EST) EST distinguishes itself as a small and portable package with a readable source code in C and well implemented algorithms. EST runs on many different computers with different operating systems, including GNU/Linux, MS Windows, Mac OSX, and Solaris.
Size: 326 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Efficient Symbolic Tools package (EST) |
| Keywords: | |
| Description: | |
| IP-address: | 164.8.22.67 |
WHOIS Info
| NS | nameserver: livka.uni-mb.si (164.8.100.42,2a00:1600::42) nameserver: niobe.ijs.si (193.2.4.24,2001:1470:ff80::24) nameserver: kanin.arnes.si (193.2.1.87) nameserver: dorf21.uni-mb.si (164.8.1.99,2a00:1600:0:10::99) nameserver: unicorn.uni-mb.si (164.8.10.10) |
| WHOIS | status: ok |
| Date | created: 1992-08-21 |