pretgroup / easy-rte-incremental Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pretgroup/easy-rte
Toolchain to automatically generate and verify incrementally composed C runtime enforcers from text-based framework
License: MIT License