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


The exploration strategy in this tool is based on POET.


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


Related papers

Abstract Interpretation with Unfoldings (CAV '17)

Last publication date

13 July 2017

Related tools

AstreeA, Impara, CBMC

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.