Preface of the special issue on Model Checking of Software

Preface of the special issue on Model Checking of Software