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 3 months ago
• UPPAALModelChecker / utap
  Uppaal Timed Automata Parser
  ☆11Updated 3 months ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• vmmc2 / Bleach
  The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."
  ☆34Updated 10 months ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated last week
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆15Updated this week
• 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
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated last month
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated this week
• rafaelcgs10 / W-in-Coq
  This is a Coq formalization of Damas-Milner type system and its algorithm W.
  ☆29Updated 5 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆79Updated this week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆100Updated last week
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• ths-rwth / smtrat
  ☆58Updated 2 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 11 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆230Updated this week
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆28Updated 6 months ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆383Updated this week
• motib / jspin
  GUI for running the SPIN model checker
  ☆18Updated 2 years ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated last week
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆19Updated 5 years ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated last year
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆18Updated 2 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆137Updated 6 months ago
• basicpage / basicpage.github.io
  Template for a basic academic page
  ☆12Updated 2 months ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆65Updated 6 months ago
• TorXakis / TorXakis
  A tool for Model Based Testing
  ☆48Updated last month