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

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...

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

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

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

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

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 book is Open Access under a CC BY licence.

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...