shaunazzopardi
I am a postdoc at the University of Gothenburg. Interests: Static analysis, runtime verification, deontic logic, reactive synthesis, and smart contracts.
University of GothenburgGothenburg
shaunazzopardi's Stars
trailofbits/manticore
Symbolic execution tool
johnyf/tool_lists
Links to tools by subject
ultimate-pa/ultimate
The Ultimate program analysis framework.
dante-ev/latex-action
:octocat: GitHub Action to compile LaTeX documents
uclid-org/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
parity-js/shell
[⚠ Looking for a new maintainer] Parity UI - The Parity Dapp shell, browser & launcher (Electron app)
aman-goel/avr
Reads a state transition system and performs property checking
jdnklau/fm-ml
Collection of resources for research concerning Machine Learning and Formal Methods.
VerifiableRobotics/LTLMoP
A toolkit for designing and implementing LTL-based task specifications.
loonwerks/jkind
JKind - An infinite-state model checker for safety properties in Lustre
VerifiableRobotics/slugs
SmalL bUt Complete GROne Synthesizer
skius/progge.rs
Program analysis playground for a simple, imperative language
luigiapetre/Formal-Methods-Courses
Here we collect worldwide courses teaching formal methods
TermCOMP/TPDB
The Termination Problem Database
ivan-gavran/samples2LTL
A tool for obtaining LTL formulas from a sample of positive and negative words.
meyerphi/strix
Strix is a tool for reactive synthesis of controllers from LTL specifications.
agurfinkel/spacer-on-jupyter
claudiacauli/CloudFORMAL
Prototype compiler from AWS CloudFormation IaC templates into Logic.
andreaskatis/jkind-1
JKind - a Java implementation of the KIND model checker
filipkonecny/flata
A tool for reachability and termination analysis of integer programs
CLC-UIowa/SySLite
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
5nizza/sdf-hoa
Bounded synthesis via safety games and BDDs
jurajmajor/ltl3tela
LTL3TELA is a translator of LTL formulae to omega-automata with generic acceptance condition.
popje-chalmers/stately
The Stately FSM design tool.
dSynMa/syMTri
A tool for reactive synthesis with monitor triggers.
OliverMa1/DT-synth
Decision Tree Learning Algorithm for Reactive Synthesis
dSynMa/recipe
A toolkit for modelling and verification of reconfigurable multi-agent systems.
jesusjda/pyRankFinder
Ranking Functions Finder
joshuaellul/excalls
ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker