cps-sei / swim
SWIM - A Simulator of Web Infrastructure and Management
☆17Updated 2 years ago
Related projects: ⓘ
- Rainbow self-adaptive framework☆30Updated last year
- The main development version of the PRISM model checker.☆154Updated this week
- SeMoDe is a tool to support lifecycle activites of Serverless functions on different platforms. Currently automated test generation on AW…☆12Updated last year
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆132Updated 9 months ago
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆22Updated 2 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- A Modern Probabilistic Model Checker☆133Updated last week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆90Updated 3 weeks ago
- A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi…☆118Updated 9 months ago
- Implementation of the Rice University Bidding System (RUBiS)☆15Updated 9 years ago
- Pure Java nonlinear equation solving and unconstrained optimization library☆11Updated 7 months ago
- Collaborative Datacenter Simulation and Exploration for Everybody☆68Updated this week
- Layered Queueing Network Solver☆9Updated this week
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆18Updated last month
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆89Updated last week
- ☆24Updated this week
- ☆51Updated 3 months ago
- Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.☆11Updated 7 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆12Updated 2 years ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆29Updated last week
- This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…☆76Updated last week
- GI in No Time - a Simple Microframework for Genetic Improvement☆43Updated 2 months ago
- Docker Machine driver for the Grid'5000 testbed infrastructure.☆13Updated last month
- Set of tools for validating, visualizing and analyzing TOSCA resource descriptions☆13Updated 2 weeks ago
- TChecker is an open-source verification tool for timed automata☆21Updated 3 months ago
- The Melange Language Workbench☆28Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆60Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆29Updated this week