Research

Research & open source projects

  • Apalache: Symbolic model checker for TLA+ and Quint (2016-present)

Past research & open source projects

  • Quint: Executable specification language (2021-2023)

  • ByMC: parameterized model checker for threshold-guarded fault-tolerant distributed algorithms

  • The project ICT-103 Apalache supported by the Vienna Science and Technology Fund

Publications

Conference organization

PhD Alumni

Academic and non-academic profiles: