They continue to develop on this tool for Model Based Development and their own verification engine. Along the way this has spawned a number of student projects.
- 2020 Spring Sw8 : HMKAAL.pdf
- 2020 Spring Sw10: Tick Tock Automata a Modelling Formalism for Real World Industrial Systems.df (AAU website)
- 2021 Autumn Sw9: AALTITOAD A Tick Tock Automata Verification Engine.pdf (AALTITOAD on github)
- 2022 Spring Sw6: HAALT – HAWK and AALTITOAD Automatic Likeness Testing (HAALT on github)