27 citations · 71 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 27 cited
Symbolic Computation via Program Transformation
Henrich Lauko, Petr Ročkai, Jiří Barnat
Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic…
cs.SE2018★ 20 cited
From Model Checking to Runtime Verification and Back
Katarína Kejstová, Petr Ročkai, Jiří Barnat
We describe a novel approach for adapting an existing software model checker to perform precise runtime verification. The software under test is allowed to communicate with the wid…