Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
This position paper provides a quick overview of the various behavioral specification techniques, from decision tables, finite state machines, Petri nets, and program design languages, to formal specification languages. It contrasts property based behavioral models (and languages) with model-based ones.
Mika Tapani Göös, Weiqiang Yuan
Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
Martin Odersky, Aleksandar Prokopec, Fengyun Liu