Trustworthy Systems
The Trustworthy Systems research group in Australia
Popular repositories Loading
Repositories
Showing 10 of 22 repositories
- libmicrokitco Public
au-ts/libmicrokitco’s past year of commit activity - gordian-smt-profiler Public
A "frontend" independent query profiling tool for Z3, mostly ripped off Verus
au-ts/gordian-smt-profiler’s past year of commit activity - gordian-relation-proof Public
This repository contains the proof that the relation between the microkit state machine is maintained with kernel projection, in SMT.
au-ts/gordian-relation-proof’s past year of commit activity