Separation_Algebra Dependents

2022

A Formal CHERI-C Memory Model

by Seung Hoon Park

Nov 25

2018

Hoare Logics for Time Bounds

by Maximilian P. L. Haslbeck and Tobias Nipkow

Feb 26

2016

Separata: Isabelle tactics for Separation Algebra

by Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore and Ranald Clouston

Nov 16