org.whiley:wytp (maven):  This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler. 
Keywords: compiler|language|verification|whiley