|
[BDE+12]
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp.
Waiting for Locks: How Long Does It Usually Take?.
In Proc. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'12).
2012.
[Extends PRISM with support for conditional steady-state queries and then analyses models of low-level operating-system code, using a test-and-test-and-set (TTS) lock as an example.]
|
|
Links:
[Google]
[Google Scholar]
|