A tool for model checking hyperproperties and visualizing occuring counterexamples.
An extensive and extendible stream-based monitoring framework.
A Model Checker for Petri Nets with Transits against Flow-LTL.
A synthesis tool based on a various bounded synthesis encodings.
A Satisfiability Solver for Hyperproperties.
A model checker for HyperLTL that builds on standard verification techniques from hardware model checking.
