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
Pinned Repositories
recipe
A toolkit for modelling and verification of reconfigurable multi-agent systems.
contractLarva
Runtime verification tool for Solidity smart contracts.
bpmn-to-solidity
A parser from BPMN to Solidity smart contracts.
clarva
Residual analysis/verification for Java programs
contractLarva
Runtime verification tool for Solidity smart contracts.
deontic-logic-with-unknowns-haskell
A Partial Deontic Logic with conflict checking.
maltese-dictionary
A list of commonly used Maltese words.
solidity-cfg-builder
A control-flow graph builder for Solidity smart contracts.
solidity-static-analysis
Static analysis for Solidity smart contract with properties as symbolic automata.
sweap
A tool for symbolic finite and infinite-state reactive synthesis
shaunazzopardi's Repositories
shaunazzopardi/solidity-cfg-builder
A control-flow graph builder for Solidity smart contracts.
shaunazzopardi/solidity-static-analysis
Static analysis for Solidity smart contract with properties as symbolic automata.
shaunazzopardi/bpmn-to-solidity
A parser from BPMN to Solidity smart contracts.
shaunazzopardi/deontic-logic-with-unknowns-haskell
A Partial Deontic Logic with conflict checking.
shaunazzopardi/maltese-dictionary
A list of commonly used Maltese words.
shaunazzopardi/clarva
Residual analysis/verification for Java programs
shaunazzopardi/contractLarva
Runtime verification tool for Solidity smart contracts.
shaunazzopardi/deontic-logic-with-unknowns
A Partial Deontic Logic
shaunazzopardi/ethereuem-runtime-verification
An attempt at runtime verification of Ethereum smart contracts.
shaunazzopardi/smart-contract-versioning
A template for type-safe smart contract versioning on Ethereum.
shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
shaunazzopardi/useful-smart-contracts
A few useful smart contracts and smart contracts pattern in Solidity for Ethereum.
shaunazzopardi/strix-docker
A Dockerfile to install Strix (https://strix.model.in.tum.de/) in an Ubuntu docker image.
shaunazzopardi/sweap
A tool for symbolic finite and infinite-state reactive synthesis
shaunazzopardi/aspectSol
shaunazzopardi/bosy
BoSy is a reactive synthesis tool based on constraint-solving
shaunazzopardi/course-matcher
ASP.NET MVC website to find courses open to student's qualifications.
shaunazzopardi/deontic-monitoring-solidity
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
shaunazzopardi/Formality
An efficient proof language
shaunazzopardi/interactive-smart-contracts-case-study
Three case studies in useful interaction between smart contracts, with one smart contract asaservice
shaunazzopardi/list-of-contract-annotated-open-software
shaunazzopardi/ltl-rewriting-monitor
A rewriter for LTL given as input a set of events.
shaunazzopardi/rv
shaunazzopardi/safely-mutable-ERC-20-interface
An interface for an ERC-20 token smart contract that enforces the expected behaviour of each entry-point.
shaunazzopardi/secure-parity-wallet
A case study in securing calls between smart contracts using the Parity wallet.
shaunazzopardi/shaunazzopardi.github.io
BibBase Example Page
shaunazzopardi/solidity-notes
Notes on Solidity I intend to keep while learning and getting used to the Solidity language for smart contracts on Ethereum.
shaunazzopardi/solidity-partial-evaluator
An experiment in building a partial function evaluator for Solidity smart contracts.
shaunazzopardi/valour