AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties

Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck. AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. In Isabelle M. Demeure, Thomas Robert, Ahmed Serhrouchni, editors, 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011, Paris, France, 9-13 May 2011. pages 1-10, IEEE, 2011. [doi]

Abstract

Abstract is missing.