A knowledge-based framework for specification verification of real-time systems

We propose a knowledge-based framework of specification verification of real-time systems. In this framework, we present RT-FRORL as a formal requirements specification language which exploits knowledge representation techniques as an aid in the specification, analysis and development of KBSs for real-time systems. RT-FRORL uses a combination of resolution refutation, anomaly detection matrix, and graph theory methods to verify a number of properties which might exist in KBSs