This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theore
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CB
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more
This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in V
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 paper
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be
