Introduction

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Part One

It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions.

Part Two

The second part focuses on logi