Modern Formal Methods and Applications

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gabbar, Hossam A. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2006.
• Subjects: Chemistry.; Chemometrics.; Computer logic.; Mathematical logic.; Computers.; Computer mathematics.; Applied mathematics.; Engineering mathematics.; Math. Applications in Chemistry.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Models and Principles.; Computational Science and Engineering.; Appl.Mathematics/Computational Methods of Engineering.

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to p...

Table of Contents:

• Fundamentals of Formal Methods
• Formal Methods for Process Systems Engineering
• Formal Methods for Production Chain Management
• Formalizing Waste Management
• Formal Methods for Modeling Biological Regulatory Networks
• Formal Methods for Specifying and Analyzing Complex Software Systems
• An Algebraic Approach to Hardware Compilation
• Formal Methods for UML.