Skip to content
@fluentverification

fluentverification

Popular repositories Loading

  1. stamina-storm stamina-storm Public

    STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

    C++ 5 2

  2. stamina-prism stamina-prism Public

    STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine

    Java 4 3

  3. CaseStudies_StochasticModelChecking CaseStudies_StochasticModelChecking Public

    Repositories for the collection of models used as case studies for stochastic model checking.

    Raku 4

  4. usu_stochastic_case_studies usu_stochastic_case_studies Public

    Case-study models of stochastic systems, mainly using the PRISM language. Models focus on low-level computing applications and logic circuits.

    MATLAB 3

  5. stamina stamina Public

    Wrapper repository which contains STAMINA/STORM and STAMINA/PRISM as submodules

    Python 3

  6. ragtimer ragtimer Public

    Random Assume Guarantee Testing Induced Model Executions for Reachability (RAGTIMER)

    Python 3

Repositories

Showing 10 of 18 repositories
  • staminachecker.org Public

    Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis

    fluentverification/staminachecker.org’s past year of commit activity
    HTML 0 0 3 0 Updated Nov 8, 2024
  • wayfarer Public

    Priority-guided seed-path/counterexample generation (proof of concept)

    fluentverification/wayfarer’s past year of commit activity
    Python 1 0 0 2 Updated Oct 30, 2024
  • bmc_counterexample Public
    fluentverification/bmc_counterexample’s past year of commit activity
    Python 0 0 0 0 Updated Oct 29, 2024
  • stamina-storm Public

    STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

    fluentverification/stamina-storm’s past year of commit activity
    C++ 5 GPL-3.0 2 8 (2 issues need help) 1 Updated Oct 22, 2024
  • ragtimer Public

    Random Assume Guarantee Testing Induced Model Executions for Reachability (RAGTIMER)

    fluentverification/ragtimer’s past year of commit activity
    Python 3 MIT 0 6 1 Updated Sep 30, 2024
  • CaseStudies_StochasticModelChecking Public

    Repositories for the collection of models used as case studies for stochastic model checking.

    fluentverification/CaseStudies_StochasticModelChecking’s past year of commit activity
    Raku 4 0 2 3 Updated Aug 28, 2024
  • stamina-server Public

    STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.

    fluentverification/stamina-server’s past year of commit activity
    Python 1 MIT 1 2 0 Updated Aug 14, 2024
  • fluentverification.github.io Public
    fluentverification/fluentverification.github.io’s past year of commit activity
    HTML 0 Apache-2.0 0 0 0 Updated Jun 25, 2024
  • FLUENT-Website Public
    fluentverification/FLUENT-Website’s past year of commit activity
    TeX 0 MIT 0 1 0 Updated Jun 25, 2024
  • stamina Public

    Wrapper repository which contains STAMINA/STORM and STAMINA/PRISM as submodules

    fluentverification/stamina’s past year of commit activity
    Python 3 MIT 0 0 0 Updated Jun 24, 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…