Sound concurrent traces for online monitoring

DOI10.1007/978-3-031-32157-3_4arXiv2402.18391OpenAlexW4367664947MaRDI QIDQ6049043

Yliès Falcone, Chukri Soueidi

Publication date: 16 October 2023

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2402.18391

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
• Petri nets, event structures and domains. I
• Rationality in algebras with a series operation
• Reasoning about layered message passing systems
• A brief account of runtime verification
• Atomizer
• Collaborative Runtime Verification with Tracematches
• Temporal Verification of Reactive Systems: Response
• Typestate: A programming language concept for enhancing software reliability
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Time, clocks, and the ordering of events in a distributed system
• Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
• A new solution of Dijkstra's concurrent programming problem
• Causal memory: definitions, implementation, and programming
• Efficient dependency tracking for relevant events in shared-memory systems
• The Java memory model
• Parametric and Sliced Causality
• Tools and Algorithms for the Construction and Analysis of Systems
• Model checking of safety properties
• Refining the safety-liveness classification of temporal properties according to monitorability

This page was built for publication: Sound concurrent traces for online monitoring