13 citations · 19 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp +1
This paper provides the first correct semantical representation of UML state-machines within the logical framework of an institution (previous attempts were flawed). A novel encodi…
cs.SE2020
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…