Towards Approximate Model Checking DC and PDC Specifications

Changil Choe, Dang Van Hung, Song Han

DC has proved to be a promising tool for the specification and verification of functional requirements on the design of hard real-time systems. Many works were devoted to develop e…