MyGForge > Projects > Sireum

General Sections

Tracker

Activity

Description
Sireum software analysis platform
Developer Info
Robby John Hatcliff William Deng Edwin RodrÃguez Andrew King Jooyong Lee jason belt Sam Procter Jonathan Hoag Jonathan Hoag Joey Dodds Kiasan Build Patrice Chalin
Trove Categorization
Development Status: 2 - Pre-Alpha Intended Audience: Developers, Other Audience License: Eclipse Public License Operating System: Linux, MacOS, Windows Programming Language: Java Spoken Language: English Topic: Analysis, Code Generators, Compilers, Education

MyGforge Home