Schwenger / Thesis-TemplateLinks
The skeleton of the tex files used for writing my PhD thesis.
☆16Updated 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
Sorting:
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆43Updated last month
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- Frama-C and WP tutorial☆60Updated 2 months ago
- The Eldarica model checker☆86Updated last week
- KeY Theorem Prover for Deductive Java Verification☆56Updated this week
- Library-based Language Extensibility☆39Updated 10 years ago
- Alloy with browser-based visualizations☆29Updated 3 years ago
- An overview of property-based testing functionality☆66Updated this week
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- AWS Encryption SDK☆49Updated 3 weeks ago
- A regular expression to SMT-LIB constraint translator☆11Updated 6 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated 2 years ago
- Coq library on rewriting theory and termination☆36Updated 3 months ago
- The Termination Problem Database☆29Updated 4 months ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆16Updated 11 months ago
- A Modern Probabilistic Model Checker☆147Updated last week
- Modbat is a model-based API tester for stateful systems.☆23Updated 2 years ago
- Approximate Model Counter☆78Updated this week
- Homebrew formulae for formal methods☆37Updated 8 months ago
- Definitional implementation of Cedar language and utilities for DRT☆111Updated this week
- Gamification of Mutation Testing☆42Updated 3 weeks ago
- ☆10Updated 6 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- A model checker for infinite-state systems.☆74Updated 2 weeks ago
- Peasy: An Intuitive Development Environment for P☆14Updated 3 weeks ago
- Concurrent decision diagram framework written in Rust☆61Updated 3 weeks ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated last week