7 citations · 16 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…
cs.SE2014★ 7 cited
Who watches the watchers: Validating the ProB Validation Tool
Jens Bendisposto, Sebastian Krings, Michael Leuschel
Over the years, ProB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustiv…