Now showing items 1-1 of 1
A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems
(Research report / Forskningsrapport, 2013)
We investigate the usage of a history-based specification approach for concurrent and distributed systems. In particular, we compare two approaches on checking that those systems behave according to their specification. ...