Ni Formal Gc
Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Tal0 | 14 | 8 years ago | mit | Coq | ||||||
| Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety. | ||||||||||
| Ni Formal Gc | 6 | 5 years ago | mit | Coq | ||||||
| Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level. | ||||||||||
Alternatives To Ni Formal GcSelect To Compare
Alternative Project Comparisons
Popular Heap Projects
Popular Coq Projects
Popular Computer Science Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Location
Heap
Coq