Explore projects

The dbgen tool for TPC-H benchmarks. Slighty adapted to produce files suitable for mutable's DSV reader.

Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.

A simple demo project to learn to handle AST class hierarchy using arithmetic expressions.

Published at SIGMOD 2023.

A simple demo project to learn to handle AST class hierarchy using arithmetic expressions.

Published at EDBT 2023.