Test Program Generation for a Microprocessor - A Case-Study

Abstract

Certifications of critical security or safety system properties are becoming increasingly important for a wide range of products. Certifying large systems like operating systems up to Common Criteria EAL 4 is common practice today, and higher certification levels are at the brink of becoming reality. To reach EAL 7 one has to formally verify properties on… (More)
DOI: 10.1007/978-3-642-38916-0_5

Topics

2 Figures and Tables

Slides referencing similar topics