Effective Formal Methods for Smart-Contract Certification

01.09.2023 - 31.08.2027
Research funding project

People

Project leader

Subproject managers

Institute

Grant funds

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Information and Communication Technologies Vienna Science and Technology Fund (WWTF)

Research focus

  • Logic and Computation: 83%
  • Information Systems Engineering: 16%

Publications