PV2 BAS: Bounded Asynchronous Synthesissynthesises asynchronous programs based on an LTL formula

Application domain/field

Type of tool

Synthesis tool

Expected input

LTL formula φ

Format:

? (probably LTL3BA format)

Expected output

Internals

Comments

Tool to synthesize (i.e. automatic construction from specification) asynchronous programs from temporal specifications
LTL Synthesis

Related papers

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

Last publication date

18 July 2018

ProVerB specific

View/edit source (Markdown)



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