CinCoders / cs-deadlines
CS Deadlines - Top CS Conferences deadlines
☆11Updated 3 months ago
Alternatives and similar repositories for cs-deadlines:
Users that are interested in cs-deadlines are comparing it to the libraries listed below
- Modal Logic Library in Coq☆15Updated 2 years ago
- RV-Monitor core system code☆16Updated 3 years ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆33Updated 4 months ago
- Repository of teaching material for product lines and variability☆12Updated last year
- Material para Matemática Discreta☆9Updated 8 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆13Updated last month
- Research plan templates for undergrad and graduate (master and phd) students☆22Updated 3 years ago
- Uppaal Timed Automata Parser☆10Updated 11 months ago
- Andy assesses student's test code. It's used in CSE1110, TU Delft.☆78Updated last month
- Instruções sobre o processo de produção dos livros do curso Licenciatura em Computação a distância da UFPB☆15Updated 2 years ago
- A Variability-Aware Interpreter for Java Applications☆11Updated 4 years ago
- Classes LaTeX para documentos do CIn☆13Updated 4 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆71Updated last week
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆19Updated 3 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Updated 4 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Synthesis of Optimized Hash Functions☆54Updated 3 months ago
- ☆22Updated 2 weeks ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆55Updated 5 years ago
- CS316 "Functional Programming" lecture notes☆14Updated 4 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated last week
- Convert LTL formulas into finite-state automata for monitoring☆9Updated 6 years ago
- Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines☆10Updated last week
- Collection of resources for research concerning Machine Learning and Formal Methods.☆86Updated 3 years ago
- Provas e gabaritos da POSCOMP, sem marcação das respostas☆624Updated last week
- A compiler to the Portuguese Algorithmic Language☆22Updated 7 years ago
- ☆13Updated 8 months ago