2 papers
cs.FL2026
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
Paul Eichler, Swen Jacobs, Chana Weil-Kennedy
We introduce a new framework for verifying systems with a parametric number of concurrently running processes. The systems we consider are well-structured with respect to a specifi…
cs.LO2025
Runtime Verification of Interactions Using Automata
Chana Weil-Kennedy, Darine Rammal, Christophe Gaston +1
Runtime verification consists in observing and collecting the execution traces of a system and checking them against a specification, with the objective of raising an error when a…