Specification and Verification of Real-time Systems

Specification formalisms for real-time systems and advanced methods for analysis of formal specifications are important aspects of modern real-time systems development. Formal analysis helps the developers to find design problems early in the development cycle and gain confidence in the correctness of the system.



Several areas of real-time specification and verification are being explored