Abstraction-based Parameterized TLA Checker

01.01.2016 - 31.12.2019
Research funding project

People

Project leader

Institute

Grant funds

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Vienna Science and Technology Fund (WWTF) Call identifier ICT15-103

Research focus

  • Computational Intelligence: 100%

Publications