Automated Technology for Verification and Analysis
Kedar Namjoshi, "Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, Proceedings (Lecture / Programming and Software Engineering)"
Springer; 1 edition | English | 2007-12-12 | ISBN: 3540755950 | 576 pages | PDF | 6.1 mb
Springer; 1 edition | English | 2007-12-12 | ISBN: 3540755950 | 576 pages | PDF | 6.1 mb
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.
The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.