|
|||||
|
|
Verifying timing consistency in formal specifications |
|
| Authors: | Bartos T. Fristacky N. |
| Affiliation: | Dept. of Comput. Sci., Slovak Tech. Univ., Bratislava; |
| Abstract: | 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 |
| Keywords: | |