Skip to content
@cmu-soda

SoDA Lab

Popular repositories Loading

  1. Robustness Robustness Public

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

    Kotlin 4 5

  2. STL-Robustness STL-Robustness Public

    C++ 1 1

  3. fortis-core fortis-core Public

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

    Kotlin 1 1

  4. transitional-robustness transitional-robustness Public

    Forked from iandardik/LTS-Robustness

    Kotlin 1

  5. AlloyMax AlloyMax Public

    Forked from AlloyTools/org.alloytools.alloy

    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 w…

    Java

  6. alloy-maxsat-benchmark alloy-maxsat-benchmark Public

    Alloy 1

Repositories

Showing 10 of 28 repositories
  • carini Public Forked from cmu-soda/recomp-verify

    This tool synthesizes symbolic assumptions for TLA+ specifications.

    cmu-soda/carini’s past year of commit activity
    Java 0 MIT 204 0 0 Updated Dec 13, 2024
  • recomp-verify Public Forked from cmu-soda/tla-robustness-src

    Recomp-Verify is a model checker for the TLA+ formal specification language.

    cmu-soda/recomp-verify’s past year of commit activity
    Java 0 MIT 204 0 0 Updated Dec 12, 2024
  • ATLAS Public

    ATLAS: A constrained LTL learner based on AlloyMax

    cmu-soda/ATLAS’s past year of commit activity
    Jupyter Notebook 0 1 0 0 Updated Dec 9, 2024
  • FairSense Public
    cmu-soda/FairSense’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Nov 15, 2024
  • AlloyMax-TrustBoundary Public
    cmu-soda/AlloyMax-TrustBoundary’s past year of commit activity
    Alloy 0 0 0 0 Updated Nov 12, 2024
  • STL-Robustness Public
    cmu-soda/STL-Robustness’s past year of commit activity
    C++ 1 MIT 1 0 0 Updated Oct 14, 2024
  • FMMAnalysisTool Public
    cmu-soda/FMMAnalysisTool’s past year of commit activity
    Python 0 0 0 0 Updated Oct 8, 2024
  • fortis-core Public

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

    cmu-soda/fortis-core’s past year of commit activity
    Kotlin 1 MIT 1 0 0 Updated Sep 25, 2024
  • fortis-ui Public
    cmu-soda/fortis-ui’s past year of commit activity
    Vue 0 MIT 0 0 0 Updated Sep 17, 2024
  • cmu-soda.github.io Public Forked from parvkpr/sodalab

    Soda lab website

    cmu-soda/cmu-soda.github.io’s past year of commit activity
    TeX 0 5 0 0 Updated Aug 26, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…