Publication year: 2007
: 978-3-540-75698-9
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering.
: Computer Science, CASE, formal method, model checking, software architecture, software engineering, theorem proving, validation, verification