Skip to content

Fos-R/TADAM

Repository files navigation

TADAM: Timed Automata Discovery Applying MDL

We plan to update the documentation and the API of TADAM in the following months.

This repository also includes the source code of RTI+ (GPL licence) and TAG (BSD 3-clause licence).

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published