Sireum v3

Compatible with: IntelliJ IDEA PhpStorm WebStorm PyCharm RubyMine AppCode CLion Gogland DataGrip Rider Android Studio
09.05.2017
572
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