ftsrg-edu / lecture-notesLinks
Some lecture notes of the research group
☆14Updated 4 years ago
Alternatives and similar repositories for lecture-notes
Users that are interested in lecture-notes are comparing it to the libraries listed below
Sorting:
- Eclipse Xtext™ is a language development framework☆817Updated last week
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- Boogie☆566Updated this week
- The main development version of the PRISM model checker.☆181Updated this week
- ☆12Updated 7 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆527Updated last week
- ☆34Updated 3 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated 2 years ago
- A gently curated list of companies using verification formal methods in industry☆590Updated this week
- decaf377 is a prime-order group designed for use in SNARKs over BLS12-377☆17Updated 11 months ago
- An open-source Java library for Constraint Programming☆750Updated last week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated 2 weeks ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆448Updated this week
- Xtext/Sirius Integration☆21Updated last year
- Semantics of Solidity in K☆29Updated 6 years ago
- A curated set of links to formal methods involving provable code.☆216Updated 4 years ago
- K Framework Tools 7.0☆559Updated last week
- Spoofax runtime☆160Updated 9 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆29Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆303Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆230Updated last week
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,048Updated 2 months ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- Open Source AADL2 Tool Environment☆50Updated 4 months ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆683Updated 2 months ago
- Actor-based Runtime Verification Tool☆19Updated 2 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Updated 2 years ago
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆84Updated 2 years ago
- Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin☆15Updated 2 years ago