Pinned Repositories
AlloyMax-TrustBoundary
ATLAS
ATLAS: A constrained LTL learner based on AlloyMax
FairSense
This repository contains the artifact for ICSE'25 paper on long-term fairness analysis of ML-enabled systems
fortis-core
Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.
fortis-ui
openEMR_usability_study
Robustness
DEPRECATED: checkout our new implementation, Fortis. The Robustness Calculator implementation for FSE 20 paper.
STL-Robustness
tla-decomp-verify
transitional-robustness
SoDA Lab's Repositories
cmu-soda/Robustness
DEPRECATED: checkout our new implementation, Fortis. The Robustness Calculator implementation for FSE 20 paper.
cmu-soda/fortis-core
Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.
cmu-soda/STL-Robustness
cmu-soda/transitional-robustness
cmu-soda/alloy-maxsat-benchmark
cmu-soda/AlloyMax
AlloyMax is an extension of Alloy with a capability to express and analyze problems with optimal solutions. It introduces (1) a small addition of language constructs that can be used to specify a wide range of problems that involve optimality and (2) a new analysis engine that leverages a MaxSAT solver to generate optimal solutions.
cmu-soda/AlloyMax-TrustBoundary
cmu-soda/ATLAS
ATLAS: A constrained LTL learner based on AlloyMax
cmu-soda/cmu-soda.github.io
Soda lab website
cmu-soda/FairSense
This repository contains the artifact for ICSE'25 paper on long-term fairness analysis of ML-enabled systems
cmu-soda/fortis-ui
cmu-soda/openEMR_usability_study
cmu-soda/tla-decomp-verify
cmu-soda/AutoOpenEMRTester
cmu-soda/carini
This tool synthesizes symbolic assumptions for TLA+ specifications.
cmu-soda/cmu-soda.github.io.old
The Software Design and Analysis Lab at Carnegie Mellon University
cmu-soda/combinatorial-instances
Generating diverse Alloy instances using combinatorial techniques
cmu-soda/DeviatedWorkflowsGenerator
cmu-soda/FMMAnalysisTool
cmu-soda/fortis-api
cmu-soda/fortis-server
cmu-soda/gradual-recovery-reuse23
cmu-soda/kafka-alloy
cmu-soda/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
cmu-soda/recomp-verify
Recomp-Verify is a model checker for the TLA+ formal specification language.
cmu-soda/tla-robustness
cmu-soda/tla-robustness-src
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
cmu-soda/webpage-source
The source of the GitHub page https://cmu-soda.github.io via Jekyll theme.