Java 8, Python, C, LLVM, SV-COMP, prekladač, interná
reprezentácia,
Symbiotic, prototyp, JBMC