2008 Formal Methods in Computer-Aided Design

Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications

Pub Date : 2008-11-25 DOI: 10.1109/FMCAD.2008.ECP.5 D. Hardin

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata

Pub Date : 2008-11-25 DOI: 10.1109/FMCAD.2008.ECP.13 Lei Bu, You Li, Linzhang Wang, Xuandong Li

A Write-Based Solver for SAT Modulo the Theory of Arrays

Pub Date : 2008-11-17 DOI: 10.1109/FMCAD.2008.ECP.18 Miquel Bofill, R. Nieuwenhuis, Albert Oliveras, Enric Rodríguez-carbonell, A. Rubio