thisthat / java-time-verification Goto Github PK
View Code? Open in Web Editor NEWSAFE-RTSE tool which performs an abstract interpretation of Java code to solve time related errors
Home Page: https://serg.aau.at/bin/view/SafeRTSE/WebHome
License: GNU General Public License v3.0