Formal Methods in Computer Science

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

List of contents

Set Theory and Functions
Basic Set Definitions
Set Theory and Functions
Finite State Machine
Regular Expressions and Languages
Propositional Logic
Predicate Logic
Temporal Logic
Formal Verification by Model Checking
Petri Nets
Timed Petri Nets
Colored Petri Nets

About the author

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.
William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.

Summary

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

Product details

• Authors: William Tepfenhart, Jiacun Wang, Jiacun (Monmouth University Wang, Wang Jiacun
• Publisher: Taylor & Francis Ltd.
• Languages: English
• Product format: Hardback
• Released: 25.06.2019
• EAN: 9780367225704
• ISBN: 978-0-367-22570-4
• No. of pages: 294
• Series: Textbooks in Mathematics
• Subjects: Guides; Natural sciences, medicine, IT, technology > IT, data processing > General, dictionaries; MATHEMATICS / General, MATHEMATICS / Set Theory, COMPUTERS / Computer Engineering, Mathematical theory of computation