Schwenger / Thesis-Template
The skeleton of the tex files used for writing my PhD thesis.
☆15Updated 3 years ago
Alternatives and similar repositories for Thesis-Template:
Users that are interested in Thesis-Template are comparing it to the libraries listed below
- The VerCors verification toolset for verifying parallel and concurrent software☆66Updated this week
- The Next Generation Logic Library☆137Updated 2 months ago
- SMTInterpol interpolating SMT solver☆62Updated 7 months ago
- ☆21Updated last month
- ☆14Updated 6 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- Definitional implementation of Cedar language and utilities for DRT☆95Updated last week
- Tools for conformance monitoring on Kubernetes with TLA+☆20Updated 7 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆90Updated this week
- AWS Encryption SDK☆39Updated this week
- Library-based Language Extensibility☆39Updated 10 years ago
- Thread like an assembly line☆13Updated last year
- SAT Solver SATCH☆113Updated 2 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated last year
- JaTyC: a typestate checker for Java☆16Updated 2 months ago
- This project is part of my talk about Project Panama. The goal is to show how you can call (almost) any C library using Java☆14Updated last month
- Coq library on rewriting theory and termination☆35Updated 2 months ago
- Debug JSSE Provider☆14Updated last month
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Generates loop invariants for program verification☆59Updated 4 years ago
- Inverno Framework modules project☆11Updated last week
- Enhanced Java iterators☆29Updated 5 years ago
- The Ixy user space network driver ported to Java 12☆20Updated 3 years ago
- A Groovy DSL for creating test data via JPA☆12Updated 3 years ago
- A verified high-performance file system☆32Updated this week
- The LTSmin model checking toolset☆57Updated 2 months ago
- ☆10Updated 6 years ago
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 3 years ago
- A small library for testing time-related stuff☆15Updated 4 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆43Updated this week