PV1 POET: Partial Order Exploration Toolanalyses a multi-threaded program to see if it conforms to expectations of the tool

Explicit-state model checker

Application domain/field

Type of tool

Model checker

Expected input

Multi-threaded C program


(Restricted fragment of the) C

Expected output

It can:
C Concurrency Model checking


Related papers

Unfolding-based Partial Order Reduction (CONCUR '15)

Last publication date

26 August 2015

Related tools

ProVerB specific

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