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

Memberships:

Other interests:

Tools:

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

Research:

Your IPv4 address: 18.232.124.77
Switch to https