karbyshev / ni-formal-gc Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mathiasvp/ni-formal-gc
Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
License: MIT License