eskang

eskang's Stars

• cmu-soda/fortis-core

  Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.

  Language:Kotlin11

• dranov/protocol-bugs-list

  List of bugs found in distributed protocols

  Language:TeX1907

• VUISIS/PFlight

  State machine of drone using MAVSDK and P programming language.

  Language:OpenEdge ABL1

• mlip-cmu/s2023

  Language:HTML2155

• VUISIS/formula

  FORMULA 2.0: Formal Specifications for Verification and Synthesis

  Language:C#103

• daviddao/awful-ai

  😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness

  7k229

• yifeiy3/STLTree

  STLTree for learning IoT security rules

  Language:Python2

• tarangsaluja/Safe-Robust-HMI-REUSE-2021

  Language:Python2

• Systems-Modeling/SysML-v2-Release

  The latest incremental release of SysML v2. Start here.

  Language:Batchfile42360

• cmu-soda/Robustness

  DEPRECATED: checkout our new implementation, Fortis. The Robustness Calculator implementation for FSE 20 paper.

  Language:Kotlin45

• google/ml-fairness-gym

  Language:Python31180

• weibrian/Verification-and-Repair

  Language:C++11

• emina/rosette

  The Rosette solver-aided host language, sample solver-aided DSLs, and demos

  Language:Racket63974

• nevrenato/CSAIL_Git

  MODELING GIT WITH ALLOY

  Language:Shell6