Sireum v3

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