Ing. Ondřej Lengál, Ph.D.
- dWiNA: implementation of a decision procedure for WS1S
- forester: a tool for formal verification of programs with complex dynamic data structures based on tree automata
- libvata: a library for efficient manipulation of non-deterministic tree automata
- libsfta: a symbolic finite tree automata library (obsolete, superseded by libvata)