PV1 CLEARchecks a labelled transition system and visualises its problematic part

framework for debugging of concurrent systems

Application domain/field

Type of tool

Debugging tool

Expected input

Format:

Expected output

Concurrency

Links

https://github.com/gbarbon/clear/

Last commit date

21 November 2018

Related papers

https://doi.org/10.1007/978-3-030-17462-0_26 (TACAS '19)

Last publication date

4 April 2019

ProVerB specific

View/edit source (Markdown)



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