Alternatives and similar repositories for master-thesis:

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

• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆25Updated 4 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 7 months ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆69Updated 11 months ago
• STAR-RG / shipwright
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆22Updated 3 years ago
• TrustAI / DeepGame
  A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
  ☆20Updated 4 years ago
• marcofavorito / pdfa-learning
  Implementation of PDFAs and PDFA learning algorithm.
  ☆11Updated 4 years ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 9 months ago
• AI-Planning / planning-as-a-service
  The newly improved planner (and more) in the cloud.
  ☆37Updated 2 months ago
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆21Updated 8 months ago
• verifid / ner-d
  Python module for Named Entity Recognition (NER) using natural language processing.
  ☆13Updated 3 years ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• razvand / snippets
  Snippets, scripts, config files
  ☆16Updated 2 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 4 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆54Updated last year
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 4 months ago
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated 2 weeks ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆23Updated last month
• steynvl / inferrer
  An automata learning library written in Python.
  ☆50Updated 5 years ago
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆42Updated 9 months ago
• nyimbi / dot_vim
  My dot files in one place - extensively edited over time. Your mileage may vary
  ☆2Updated 8 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆144Updated this week
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆18Updated 7 months ago
• src-d / gemini
  Advanced similarity and duplicate source code at scale.
  ☆55Updated 5 years ago
• neilwalkinshaw / mintframework
  A framework for inference and testing of software behaviour.
  ☆13Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 4 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week