Model Checking of Stream Processing Pipelines.

DOI10.4230/lipics.time.2021.5OpenAlexW3203056386MaRDI QIDQ6080265

Sylvain Hallé, Unnamed Author

Publication date: 2 October 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2021/14781/pdf/LIPIcs-TIME-2021-5.pdf/

zbMATH Keywords

model checkingstream processing

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Model Checking of Stream Processing Pipelines.