Formal technique | Formal specification language| Formal requirements specification

Formal technique

A formal technique is a mathematical method to specify a hardware and/or software system, verify whether a specification is realizable, verify that an implementation satisfies its specification, prove properties of a system without necessarily running the system, etc. The mathematical basis of a formal method is provided by the specification language.

Read More [...]

Posted in Formal requirements specification, Formal specification language, Formal technique, satisfacation relation, semantic domains, software engineering, syntactic domains