12 citations · 22 across the 10 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 1 cited
Can determinism and compositionality coexist in RML?
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specificat…
cs.LO2020
Can determinism and compositionality coexist in RML? (extended version)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specificat…