156 citations · 297 across the 16 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 2 cited
Abstract Congruence Criteria for Weak Bisimilarity
Stelios Tsampas, Christian Williams, Andreas Nuyts +2
We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a cong…
cs.LO2015★ 21 cited
Featherweight VeriFast
Bart Jacobs, Frédéric Vogels, Frank Piessens
VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs. It h…