Formal models and methods and their application in all phases of software engineering process; operational, algebraic, model-based and property-based specification methods; verification of consistency and completeness of specifications; verification of properties of software; specification construction and verification using method-based tools.

None