Sireum
  • About About
  • 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. ᐁ
      • 3rd Gen. Logika — Program Verifier 3rd Logika
      • 3rd Gen. Awas — AADL Information Flow Analyzer/Visualizer 3rd Awas
      • 2nd Gen. Amandroid (now Argus-SAF) — Android Static Analysis Framework 2nd Amandroid
  • Download Download
  • Doc Doc
  • Papers Papers
  • Funding Funding
  • Team Team

    • 404

    Oops, page not found…

    Home Archives