This book constitutes the proceedings of the 5th International Symposium on Dependable Software E...

Traditionally, models and methods for the analysis of the functional correctness of reactive syst...

It is with great pleasure that we present to you this tutorial volume entitled Validation of Stoc...

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Soft...

Testing is the primary hardware and software verification technique used by industry today. Usual...

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th b...

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...

A comprehensive introduction to the foundations of model checking, a fully automated technique fo...

This book provides an overview of the theoretical underpinnings of modern probabilistic programmi...

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrenc...