Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines

DOI10.1016/j.ic.2023.105058MaRDI QIDQ6116186

Unnamed Author, Sylvain Hallé

Publication date: 17 July 2023

Published in: Information and Computation (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Explaining counterexamples using causality
• NuSMV: A new symbolic model checker
• Verifying programs with unreliable channels
• Formal semantics of Java expressions and statements
• RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA
• Analysis of Communicating Automata
• Modular Analysis of Petri Nets
• Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
• KeY: A Formal Method for Object-Oriented Systems
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2004

This page was built for publication: Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines