28 citations · 92 across the 14 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 7 cited
Building Specifications in the Event-B Institution
Marie Farrell, Rosemary Monahan, James F. Power
This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets…
cs.LO2020★ 16 cited
VerifyThis 2019: A Program Verification Competition (Extended Report)
Claire Dross, Carlo A. Furia, Marieke Huisman +2
VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties -- something tha…