Compatible with: IntelliJ IDEA PhpStorm WebStorm PyCharm RubyMine AppCode CLion GoLand DataGrip Rider MPS Android Studio
Aug 02, 2018
418
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