Integrated Verification Environment (IVE) :: Sireum

Projects ᐁ Projects ᐁ

Slang — Programming Language Slang

Logika — Verification Framework Logika

HAMR — SysMLv2 & AADL Model-based System Engineering Framework HAMR

IVE — Integrated Verification Environment IVE

Prototypes ᐁ Prototypes ᐁ

InfoFlow — Secure Conditional Information Flow Verifier InfoFlow

HAMR SysML V2 Front-end HAMR SysML V2

Auxiliary Tools ᐁ Tools ᐁ

Slang Embedded to C Transpiler Embedded

Proyek — Incremental/Parallel Build Tool Proyek

SlangCheck — Randomized Test Generator Generator SlangCheck

PG — Parser Generator PG

CLIGen — Command-line Interface Generator CLIGen

SerGen — JSON & MessagePack De/Serializer Generator SerGen

Trafo — Slang Visitor/Transformer Generator Trafo

BitCodec — Bit-Precise Data Encoder/Decoder Generator BitCodec

Presentasi — JavaFX Presentation Generator Presentasi

Slash — Slang Universal Shell Scripting Slash

Older Generations ᐁ Older Gen. ᐁ

3^rd Gen. Logika — Program Verifier 3^rd Logika

3^rd Gen. Awas — AADL Information Flow Analyzer/Visualizer 3^rd Awas

2^nd Gen. Amandroid (now Argus-SAF) — Android Static Analysis Framework 2^nd Amandroid

Download Download

Funding Funding

Integrated Verification Environment (IVE)

[pending]