Formal Methods and Software Testing

Introduction to Formal methods in software development: Definition and meaning of formal methods, Motivations for use of formal methods in software development, Myths about formal methods in software development, Commandments of Formal Methods, The Z notation: Advantages and disadvantages, Software Formal Specification and its rationale, Software Formal specification Using Z,