Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.

Yang, Stephen J. H.Stephen J. H.YangChu, William C.William C.ChuJONATHAN LEE2020-05-042020-05-041999https://scholars.lib.ntu.edu.tw/handle/123456789/488790Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.journal article10.1142/S0218194099000152https://doi.org/10.1142/S0218194099000152