André Trindade

Typestates to Automata and back: a tool

2020 · arXiv (Cornell University)

Development of software is an iterative process. Graphical tools to represent the relevant entities and processes can be helpful. In particular, automata capture well the intended execution flow of applications, and are thus behind many …