Book Details

978-3-540-73210-5

Integrated Formal Methods

Publication year: 2007

ISBN: 978-3-540-73210-5

Internet Resource: Please Login to download book


It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.


Subject: Computer Science, Linux, automata, case studies, component systems, constraint satisfaction, device driver, formal method, formal methods, formal semantics, formal specification, formal validation, logic, modeling, real-time, semantics