PV4 BoSyHyperproves realizability of a given hyperproperty

Application domain/field

Type of tool

Synthesis tool

Expected input

HyperLTL formula

Format:

JSON based format

Expected output

Whether a specification is realizable. If realizable, then a solution can be given.

Internals

Comments

HyperLTL Synthesis

Links

Last commit date

17 May 2021

Related papers

https://doi.org/10.1007/978-3-319-96145-3_16

Last publication date

18 July 2018

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.