Verification of a Signature Architecture with HOL-Z.

David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff

Browse the full FM paper archive.