|
[BDE+15]
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp.
Locks: Picking key methods for a scalable quantitative analysis.
Journal of Computer and System Sciences, 81(1), pages 258-287.
2015.
[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]
|