Explore projects

Maude files for the paper "Modeling and Analyzing Real-Time Systems in Rewriting Logic"

Partial Order Model checker for PETri nets

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)

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

Translation of LTL formulae from JSON into Helena syntax.