CinCoders / cs-deadlinesLinks
CS Deadlines - Top CS Conferences deadlines
☆12Updated last month
Alternatives and similar repositories for cs-deadlines
Users that are interested in cs-deadlines are comparing it to the libraries listed below
Sorting:
- The Sirio library for the analysis of stochastic time Petri nets☆15Updated 5 months ago
- Repository of teaching material for product lines and variability☆12Updated 2 years ago
- Uppaal Timed Automata Parser☆13Updated 2 months ago
- Research plan templates for undergrad and graduate (master and phd) students☆24Updated 3 weeks ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated last week
- Examples and case-study that use OSATE☆56Updated 8 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- The Git repository for the mCRL2 toolset.☆103Updated last week
- Eclipse Modeling Framework for C++☆46Updated 4 years ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 11 months ago
- Tool Support for Correctness-by-Construction☆29Updated 2 months ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 5 months ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆34Updated this week
- Modal Logic Library in Coq☆16Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated last week
- Apron Numerical Abstract Domain Library☆143Updated 9 months ago
- ☆60Updated last month
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Updated 5 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆60Updated last week
- Collection of resources for research concerning Machine Learning and Formal Methods.☆93Updated 4 years ago
- Sireum: A High Assurance System Engineering Platform☆19Updated last week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 3 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆19Updated 3 years ago
- RV-Monitor core system code☆16Updated 4 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆115Updated last week
- Open Source AADL2 Tool Environment☆48Updated 2 months ago
- STPA Viewpoint for Capella☆28Updated last month
- A Modern Probabilistic Model Checker☆157Updated this week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week