38 citations · 84 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018★ 2 cited
All-Path Reachability Logic
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta +3
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path r…
cs.PL2011★ 38 cited
Semantics and Algorithms for Parametric Monitoring
Grigore Rosu, Feng Chen
Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Execution tr…