-
Cambridge University
- Cambridge
- alasdair.io
Highlights
- Pro
Block or Report
Block or report Alasdair
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
-
rems-project/isla
rems-project/isla PublicSymbolic execution tool for Sail ISA specifications
-
rems-project/sail-arm
rems-project/sail-arm PublicSail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
-
-
SKAT
SKAT PublicAn Isabelle implementation of Dexter Kozen's schematic Kleene algebra + Hoare logic.
Shell
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.