Compatible with: IntelliJ IDEA PhpStorm WebStorm PyCharm RubyMine AppCode CLion Gogland DataGrip Rider MPS Android Studio
Aug 18, 2017
644
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