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. fortis-core fortis-core Public

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

    Kotlin 1 1

  3. 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

  4. alloy-maxsat-benchmark alloy-maxsat-benchmark Public

    Alloy 1

  5. cmu-soda.github.io.old cmu-soda.github.io.old Public

    The Software Design and Analysis Lab at Carnegie Mellon University

    JavaScript

  6. webpage-source webpage-source Public

    The source of the GitHub page https://cmu-soda.github.io via Jekyll theme.

    CSS

Repositories

Showing 10 of 23 repositories
  • FMMFSM_simulator Public
    cmu-soda/FMMFSM_simulator’s past year of commit activity
    Python 0 0 0 0 Updated Jul 29, 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 195 0 1 Updated Jul 25, 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 Jun 21, 2024
  • fortis-ui Public
    cmu-soda/fortis-ui’s past year of commit activity
    Vue 0 MIT 0 0 0 Updated Jun 7, 2024
  • org.alloytools.alloy Public Forked from AlloyTools/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/org.alloytools.alloy’s past year of commit activity
    Java 0 125 0 0 Updated May 2, 2024
  • kafka-alloy Public
    cmu-soda/kafka-alloy’s past year of commit activity
    Alloy 0 MIT 0 0 0 Updated Apr 18, 2024
  • fortis-server Public
    cmu-soda/fortis-server’s past year of commit activity
    Kotlin 0 MIT 0 0 0 Updated Apr 16, 2024
  • tla-decomp-verify Public
    cmu-soda/tla-decomp-verify’s past year of commit activity
    TLA 0 0 0 0 Updated Apr 13, 2024
  • tla-robustness-src Public Forked from iandardik/tlaplus

    TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    cmu-soda/tla-robustness-src’s past year of commit activity
    Java 0 MIT 195 0 0 Updated Apr 13, 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
    SCSS 0 2 0 0 Updated Apr 9, 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…