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.
A flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Zedan.
Reference /
Time
|