Formal methods in software development

Author: Gu Tianlong
Publisher:
Publish Date: 2005-01-01
Features: Formal methods are a development approach based on strict mathematical foundations, with precise mathematical semantics. Broadly speaking, formal methods are systematic engineering methods for analysis, design, and implementation in the software development process. Narrowly speaking, formal methods are methods for software specification and verification. This book introduces and discusses formal methods in software development, covering the knowledge points on "Formal Methods in Software" from SE2004, mainly including: finite state machines, Statecharts, Petri nets, communication sequential processes, communication system calculus, first-order logic, program correctness proofs, temporal logic, model checking, Z, VDM, Larch, etc. This book can be used as a teaching material for senior undergraduate or graduate students in computer science, software engineering, and related majors, and can also be referenced by researchers and engineering technicians in related fields... This book introduces and discusses formal methods in software development, covering the knowledge points on "Formal Methods in Software" from SE2004's SEEK, mainly including: finite state machines, Statecharts, Petri nets, communication sequential processes, communication system calculus, first-order logic, etc.