Verifying timing consistency in formal specifications
Tibor Bartos, Norbert Frištacký · IEEE Design & Test of Computers · 1996
The authors' algorithm formally verifies the rule set that expresses timing discipline in digital system specifications. Their algorithm is based on a higher level behavioral specification model and concerns formal consistency verification at the design level of the system specification development procedure.