PV2 AIGENsynthesises a transition system from the set of requirements

Tool for the generation of random transition systems in a symbolic representation

Application domain/field

Type of tool

Benchmark generator/test generator

Expected input

Format:

Arguments are all numbers passed as parameters to a Python script.

Expected output

Transition system in AIGER format.

Internals

Uses ABC, AIGER
Synthesis

Links

Repository: https://github.com/mhdsakr/AIGEN-Tool

Last commit date

2 June 2021

Related papers

https://doi.org/10.1007/978-3-030-81688-9_20 (CAV '21)

Last publication date

15 July 2021

ProVerB specific

View/edit source (Markdown)



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