Sireum v3

The plugin update is pending JetBrains approval
Compatible with: IntelliJ IDEA PhpStorm WebStorm PyCharm RubyMine AppCode CLion GoLand DataGrip Rider MPS Android Studio
Dec 14, 2017
669
Sireum is a software analysis platform being developed at SAnToS Laboratory, Kansas State University. This plugin integrates Sireum tools such as the Logika program verifier and natural deduction proof checker for propositional, predicate, and programming logics with IntelliJ.

Download plugin