|
|
Input Languanges:
- Tool's own language (Parallel programs (B(PN)^2), SDL (Specification Description Language), High-Level and low-level Petri
Nets, Process algebra terms (PBC), Parallel finite automata)
Supported Techniques:
- Model Checking, Deadlock detection. Structural properties (invariants), Compositional Reasoning, Partial Orders, Symmetry
Platforms:
- Linux, Sparc/Solaris, SGI/Irix
|
