📦 jbmc

J

• janalyzer(1)Data-flow analysis for Java bytecode✨
• jbmc(1)Bounded model checking for Java bytecode✨
• jdiff(1)Syntactic diff of goto programs obtained from Java bytecode✨