Explore projects

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

Symbolic Observation Graph-Based Generation of Test Paths

Fork of the Coq Num Analysis library to test Continuous Integration

gitlab-ci.yml configuration files

ICECCS19 paper experiments files