This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi

chapter 1|32 pages

Set Theory and Functions

chapter 2|22 pages

Finite State Machine

chapter 3|28 pages

Regular Expressions and Languages

chapter 4|32 pages

Propositional Logic

chapter 5|35 pages

Predicate Logic

chapter 6|25 pages

Temporal Logic

chapter 7|24 pages

Formal Verification by Model Checking

chapter 8|43 pages

Petri Nets

chapter 9|26 pages

Timed Petri Nets

chapter 10|19 pages

Colored Petri Nets