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

Format:

(Restricted fragment of the) C

Expected output

It can:
C Concurrency Model checking

Links

Last commit date

19 October 2018

Related papers

https://doi.org/10.4230/LIPIcs.CONCUR.2015.456 (CONCUR '15)

Last publication date

26 August 2015

Related tools

ProVerB specific

View/edit source (Markdown)



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