Guia docente 2023_24 Escola Superior de Enxeñaría Informática

Contents

Topic	Sub-topic
INTRODUCTION	Deficiencies of less formal approaches. Concepts of formal methods. Formal methods commandments.
SOFTWARE FORMAL MODELING.	Basic concepts. Logical bases. Languages for formal specification: Z, VDM... The language of specification: Z. Formal definitions in Z. Basic Types. Diagrams. Sets. Relations. Functions. Sequences. Bags. Operations. Formal proof: Initialition theorem and Preconditions.
FORMAL VERIFICATION	Code and Specification Application to the life-cycle.
DEVELOPMENT PROCESS WITH FORMAL TECHNIQUES	Changes in life cycle due to the use of formal methods Applications of formal techniques. Clean Room software engineering.