Formal Verification of OS Security Model with Alloy and Event-B

In Lecture Notes in Computer Science

Devyanin P., Khoroshilov A., Kuliamin V., Petrenko A., Shchepetkov I.

vol. 8477 "Abstract State Machines, Alloy, B, TLA, VDM, and Z", pp.309

Перейти к источнику

Formal Verification of OS Security Model with Alloy and Event-B