Mike Hinchey
Abstract
Formal methods for system specification are described. The notation used in formal methods, called a formal specification language, is discussed. The deductive apparatus, an equally important component of a formal method, is also discussed.>
OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Formal methods for system specification are described. The notation used in formal methods, called a formal specification language, is discussed. The deductive apparatus, an equally important component of a formal method, is also discussed.>
Key concepts: Formal specification, Formal methods, Programming language, Computer science, Notation, Refinement, Specification language, Language Of Temporal Ordering Specification