Alternatives and similar repositories for master-thesis:

Users that are interested in master-thesis are comparing it to the libraries listed below

• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 9 months ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆28Updated 5 years ago
• Practical-Formal-Methods / DeepSearch
  Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
  ☆12Updated 4 years ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆17Updated this week
• TUDelft-CS4110 / syllabus
  Syllabus for CS4110 course at TU Delft
  ☆12Updated 9 years ago
• sbusard / pynusmv
  PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.
  ☆24Updated 6 years ago
• picorana / align_covid
  Coronavirus time series aligned by number of cases, not date.
  ☆22Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated last week
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆56Updated 2 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 2 months ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• CUMLSec / stateformer
  ☆61Updated 4 months ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 11 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 3 months ago
• caterinaurban / Lyra
  ☆30Updated 8 months ago
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 8 months ago
• dkamm / deepcoder
  Deepcoder paper implementation
  ☆118Updated last year
• awslabs / aws-crypto-policy-compliance-checker
  A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
  ☆10Updated 3 years ago
• praseodym / learning-fuzzing
  Code from MSc thesis on combining learning and fuzzing
  ☆18Updated 6 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆76Updated last week
• ZainQasmi / Automated-Program-Repair
  A program repair tool which modifies any bugged Python script based on cues from rest of program.
  ☆17Updated 3 years ago
• AFLplusplus / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆8Updated last year
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated 2 months ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆22Updated last week