Long gone are the days when program veri?cation was a task carried out merely by hand with paper ...

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...

Recent years have been blessed with an abundance of logical systems, arising from a multitude of ...

Machine learning of software artefacts is an emerging area of interaction between the machine lea...

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with...

This volume contains a selection of revised papers that were presented at the Software Aspects of...

This volume contains the research papers, invited papers, and abstracts of - torials presented at...

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd ...

Recent years have been blessed with an abundance of logical systems, arising from a multitude of ...

Static analysis of software with deductive methods is a highly dynamic field of research on the v...

This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...