PV1 APOETanalyses a multi-threaded program to see if it conforms to expectations of the tool

Program analyser based on abstract unfoldings.

Application domain/field

Expected input

Internals

The exploration strategy in this tool is based on POET.

Comments

Note that the author calls "APOET" the second version of "POET".
C Concurrency Haskell

Links

Last commit date

19 October 2018

Related papers

https://doi.org/10.1007/978-3-319-63390-9_11 (CAV '17)

Last publication date

13 July 2017

Related tools

AstreeA, Impara, CBMC

ProVerB specific

View/edit source (Markdown)



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