Search Gradle plugins

Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.

• #verification
• #testing
• #model-checking
• #formal-methods
• #jbmc
• #bmc