HyperMonitor: a Python prototype for hyper predictive runtime verification

DOI10.1007/978-3-031-45286-4_13MaRDI QIDQ6623025

Giorgio Delzanno, Angelo Ferrando

Publication date: 23 October 2024

zbMATH Keywords

verificationconcurrent programsPetri netsruntime verificationprocess mining

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An overview of the runtime verification tool Java PathExplorer
• Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: HyperMonitor: a Python prototype for hyper predictive runtime verification