Explore projects

scripts for the TACAS 21 paper experiments

SOG-Based Multi-Core LTL Model Checking

Strategic (Timed) Computation Tree Logic

Symbolic Observation Graph-Based Generation of Test Paths

Partial Order Model checker for PETri nets

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

Solving MCNF using GCNs

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.