Model Checking of Stream Processing Pipelines.

DOI10.4230/LIPICS.TIME.2021.5MaRDI QIDQ6080265zbMATH OpenOpenAlexFDO

Authors S. Hallé

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

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

Cited in

(1)

• Testing and spot-checking of data streams

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080265)