marcofavorito / master-thesis

Related projects: ⓘ

• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 11 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 2 months ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated last year
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆21Updated 4 years ago
• TUDelft-CS4110 / syllabus
  Syllabus for CS4110 course at TU Delft
  ☆12Updated 8 years ago
• marcofavorito / pdfa-learning
  Implementation of PDFAs and PDFA learning algorithm.
  ☆11Updated 3 years ago
• awslabs / aws-crypto-policy-compliance-checker
  A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
  ☆10Updated 2 years ago
• slivingston / gr1py
  an enumerative reactive synthesis tool for the GR(1) fragment of LTL
  ☆13Updated 2 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆29Updated this week
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆61Updated 6 months ago
• gbossert / pylstar
  An implementation of the LSTAR Grammatical Inference Algorithm
  ☆49Updated 6 months ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆14Updated last week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 7 months ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆15Updated last year
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆67Updated 2 months 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
• neilwalkinshaw / mintframework
  A framework for inference and testing of software behaviour.
  ☆12Updated last year
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆133Updated last week
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆34Updated 6 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆53Updated 8 months ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆19Updated 2 months ago
• STAR-RG / shipwright
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆22Updated 3 years ago
• b30wulffz / automata-toolkit
  A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
  ☆13Updated 3 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆61Updated last year
• marcofavorito / python-project-template
  Yet another Python project template.
  ☆13Updated last week
• 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
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 2 years ago
• wannesm / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆53Updated 2 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated last year
• picorana / align_covid
  Coronavirus time series aligned by number of cases, not date.
  ☆22Updated 4 years ago