156 citations · 297 across the 16 of their papers we have counts for
1 paper · 1 filter
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…