PV1 StreamLABanalyses input specs and reports on its memory consumption and runtime properties

Monitoring framework that allows for monitoring asynchronous systems

Application domain/field

Type of tool

Monitoring framework

Expected input

Format:

Monitoring Rust

Links

http://www.stream-lab.org/ (supposed to be the project page, but has no content)

Related papers

https://doi.org/10.1007/978-3-030-25540-4_24 (CAV 2019)

Last publication date

12 July 2019

ProVerB specific

View/edit source (Markdown)



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