practical-formal-methods / tailor Goto Github PK
View Code? Open in Web Editor NEWThis project forked from numairmansur/tailor
Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
License: Apache License 2.0