GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
Keyword(s):
2009 ◽
Vol 6
(4)
◽
pp. 187-193
◽