klaus havelund

NASA Formal Methods

This book constitutes the refereed proceedings of the Third International Symposium on NASA Forma...

Formal Methods

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Meth...

Formal Approaches to Software Testing and Runtime Verification

This book constitutes the thoroughly refereed post-proceedings of the First Combined Internationa...

Tools and Algorithms for the Construction and Analysis of Systems

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...

NASA Formal Methods

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal ...

Runtime Verification

Model Checking Software

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

SPIN Model Checking and Software Verification

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explici...

NASA Formal Methods

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods,...

Model Checking Software

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

SPIN Model Checking and Software Verification

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explici...

Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production process...