Alternatives and similar repositories for cs-deadlines

Users that are interested in cs-deadlines are comparing it to the libraries listed below

• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated last month
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years ago
• luyangshang / OpenFTA
  OpenFTA
  ☆12Updated 12 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆53Updated this week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 2 weeks ago
• dloubach / research-plan-templates
  Research plan templates for undergrad and graduate (master and phd) students
  ☆22Updated 4 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• RepliCode / RepliCode
  Replicode is a content creation platform for creating interactive coding tutorials.
  ☆17Updated 6 years ago
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆14Updated this week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated last week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated 2 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆43Updated 4 years ago
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆12Updated 5 years ago
• csrohit / stm32-startup-cpp
  Writing startup script for STM32 Arm Cortex M3 controllers in C language
  ☆11Updated 2 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 10 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆227Updated this week
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 4 months ago
• cplusplus / SG20
  Study Group 20: Education
  ☆39Updated 4 months ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• ARISSIM / ARISS
  An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
  ☆19Updated 8 years ago
• ths-rwth / smtrat
  ☆57Updated last month
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆78Updated last week
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆36Updated last month
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated last month
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆45Updated 4 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last month
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆59Updated 10 years ago