Title :
Formal methods for system specification
Author :
Hinchey, Michael G.
Author_Institution :
Comput. Lab., Cambridge Univ., UK
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.<>
Keywords :
formal languages; formal specification; specification languages; deductive apparatus; formal method; formal specification language; system specification; Computer errors; Computer languages; Costs; Formal languages; Formal specifications; Humans; Mathematics; Security; Software systems; Testing;
Journal_Title :
Potentials, IEEE
