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

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

Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Com...

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

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

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

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