PV3 POR-SEchecks properties of multi-threaded programs by symbolic execution

Tool for systematic testing of multithreaded programs. It can handle programs with input (data) and concurrency.

Application domain/field

Type of tool

Testing tool?

Expected input

Format:

C program?

Internals

Concurrency

Links

Last commit date

15 July 2020

Related papers

https://doi.org/10.1007/978-3-030-53288-8_18

Last publication date

14 July 2020

Related tools

Yogar-CBMC

ProVerB specific

View/edit source (Markdown)



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