3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
Robert J. Colvin, Ian J. Hayes, Scott Heiner +3
Developers of low-level systems code providing core functionality for operating systems and kernels must address hardware-level features of modern multicore architectures. A partic…
cs.NI2022★ 3 cited
Advanced Models for the OSPF Routing Protocol
Courtney Darville, Peter Höfner, Franc Ivankovic +1
We present two formal models for the OSPF routing protocol, designed for the model checker Uppaal. The first one is an optimised model of an existing model that allows to check lar…