4.0.0 io.github.o2alexanderfedin.javafv java-fv-parent 13.1 ../pom.xml java-fv-annotations jar Java-FV Annotations Contract annotations for Java-FV formal verification (@NotNull, @Pure, @Immutable, @Requires, @Ensures, @Invariant, @Frame, @Throws)