Login / Signup
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
Stephen J. H. Yang
Sam Lin
Jonathan Lee
William C. Chu
Published in:
HASE (1998)
Keyphrases
</>
high assurance
temporal behavior
distributed systems
intelligent systems
digital circuits
operating system
tree structure
case study
expert systems
access control
logic programming
complex systems
retrieval systems
modal logic
multi valued
asynchronous circuits