STANDARDIZATION OF FORMAL SPECIFICATION LANGUAGES

摘要

Formal specification methods have been recognized to contribute to the reduction of design errors and omissions. This is becoming increasingly important with the rapid rise in complexity in embedded control systems. This paper will introduce formal specification methods and explain how they may be applied. A brief report will be presented on the current status of standardization for two formal specification languages.