Ing. Ondřej Lengál, Ph.D.


Other interests:


  • 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)


Your IPv4 address:
Switch to https