PV3 Starlingchecks user-specified specifications for concurrent algorithms in a C-like language

Automated verification tool for concurrent programs.

Application domain/field

Expected input

Format:

Internals

Uses Z3, GRASShopper.

Comments

License: MIT
Concurrency

Links

Repository: https://github.com/septract/starling-tool

Last commit date

7 June 2017

Related papers

https://doi.org/10.1007/978-3-319-63387-9_27 (CAV '17)

Last publication date

13 July 2017

ProVerB specific

View/edit source (Markdown)



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