ABSTRACT
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
TABLE OF CONTENTS
part 1|2 pages
Part I: Modeling
part 2|2 pages
Part II: Analysis
part 3|2 pages
Part III: Proof
part 4|2 pages
Part IV: Refinement
part 5|2 pages
Part V: Applications