Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
Stephen J. H. YangWilliam C. ChuJonathan LeePublished in: Int. J. Softw. Eng. Knowl. Eng. (1999)
Keyphrases
- high assurance
- temporal behavior
- digital circuits
- computer systems
- complex systems
- operating system
- artificial intelligence
- software systems
- intelligent systems
- distributed systems
- databases
- expert systems
- knowledge based systems
- digital libraries
- data structure
- database systems
- tree structure
- retrieval systems
- b tree
- inference rules
- multi valued
- three dimensional
- case study