Integrated Formal Methods
Author | : Wolfgang Grieskamp |
Publisher | : Springer Science & Business Media |
Total Pages | : 449 |
Release | : 2000-10-18 |
ISBN-13 | : 9783540411963 |
ISBN-10 | : 3540411968 |
Rating | : 4/5 (68 Downloads) |
Download or read book Integrated Formal Methods written by Wolfgang Grieskamp and published by Springer Science & Business Media. This book was released on 2000-10-18 with total page 449 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.