41 citations · 55 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Relational Test Tables: A Practical Specification Language for Evolution and Security
Alexander Weigl, Mattias Ulbrich, Suhyun Cha +2
A wide range of interesting program properties are intrinsically relational, i.e., they relate two or more program traces. Two prominent relational properties are secure informatio…
cs.SE2019★ 1 cited
Understanding Counterexamples for Relational Properties with DIbugger
Mihai Herda, Michael Kirsten, Etienne Brunner +6
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially…