Site Details:  lms.uni-mb.si/EST/
Site Title in Open DirectoryEfficient Symbolic Tools
Snapshot (if available)Go to: Efficient Symbolic Tools at lms.uni-mb.si/EST/
Site Description in Open Directory 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.
Site CategorySite Category Science: Math: Logic_and_Foundations: Nonstandard_Logics_and_Extensions: Temporal_Logic
Name:
Comment:
Domain Details: lms.uni-mb.si
Info for site: Efficient Symbolic ToolsSite Details:lms.uni-mb.si/EST/  Details for: lms.uni-mb.si/EST/
Info for site: Efficient Symbolic ToolsSite Details: lms.uni-mb.si/EST/  Details for: lms.uni-mb.si/EST/
Info for site: Efficient Symbolic ToolsSite Details:lms.uni-mb.si/EST/  Details for:` .$url.`
Google
  Web lms.uni-mb.si

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Directory listings are provided by Open Directory and modified by temporal-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work

Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 temporal-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work

Free thumbnail preview by Thumbshots.org