Aspect-Oriented Programming with the e Verification Language

Foreword

David Robinson has made a valuable contribution to the verification community with this book about Aspect-Oriented Programming (AOP) using e. Coverage-driven verification has entered the mainstream as a critical and central component of an effective verification methodology, and this has driven engineers to seek out the best practices for developing automated verification environments. There are many compelling reasons why people choose Specman Elite and the e language to tackle their verification problems — the declarative nature of the language which makes it easy to express stimulus constraints, temporal assertions, and functional coverage; the large library of predefined routines which make it easy to create sophisticated checkers ...