Safety and Security Assessment of Behavioral Properties Using Alloy.

Julien Brunel, David Chemouil

Browse the full SAFECOMP paper archive.