1. Home
  2. Science
  3. Mathematics
  4. Efficient Symbolic Tools

Science · Mathematics

Efficient Symbolic Tools

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Efficient Symbolic Tools

Efficient Symbolic Tools- 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.

Tags

Journals

Where it sits

Science Mathematics

More in Mathematics

See all →