README.md 82 Bytes
Newer Older
1 2
This repository contains all the components of the [future] TASTE Model Checker.