Efficient Symbolic Tools
lms.uni-mb.siA 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.