Formal Methods in Computer Science: 1st Edition (Paperback) book cover

Formal Methods in Computer Science

1st Edition

By Jiacun Wang, William Tepfenhart

Chapman and Hall/CRC

264 pages | 154 B/W Illus.

Purchasing Options:$ = USD
Paperback: 9781498775328
pub: 2019-06-21
SAVE ~$14.99
Available for pre-order
Hardback: 9780367225704
pub: 2019-06-21
SAVE ~$26.99
Available for pre-order

FREE Standard Shipping!


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 logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-level Petri nets.

Table of Contents

Part 1: Fundamentals; Chapter 1: Set Theory and Functions; Chapter 2: Finite-state Machine; Chapter 3: Regular Expression and Formal Languages; Part 2: Specify Software System Properties with Logic; Chapter 4: Propositional Logic; Chapter 5: Predicate Logic; Chapter 6: Temporal Logic; Chapter 7: Formal Verification; Part 3: Model System Behavior with Petri Nets; Chapter 8: Petri Nets; Chapter 9: Timed Petri Nets; Chapter 10: High-level Petri Nets.

About the Authors

Jiacun Wang received holds a PhD in computer engineering from Nanjing University of Science and Technology (NJUST), China. He is Professor of Software Engineering at Monmouth University. He was previously with Nortel Networks in Richardson, Texas. Prior to joining Nortel, he was a research associate of the School of Computer Science, Florida International University (FIU) at Miami. Prior to joining FIU, he was an associate professor at NJUST. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University for more than 10 years. Dr. Tepfenhart is Associate Professor of Computer Science and Computer Engineering at Monmouth University. His experience ranges across a broad spectrum of activities. He has performed in the role of instructor, researcher, software developer, and author. Trained as a physicist, his areas of expertise include object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems has formed the basis for major contributions in the area of software development. He has been active in the area of OOA/OOD for several large systems.

About the Series

Textbooks in Mathematics

Learn more…

Subject Categories

BISAC Subject Codes/Headings:
COMPUTERS / Computer Engineering