Introduction

VerifIEr provides static code analysis for Gen models.