## Marco Bernardo, Alessandro Cimatti

*Advanced Lectures of the Sixth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Hardware Verification*

SFM, 2006.

@proceedings{SFM-2006,
address = "Bertinoro, Italy",
editor = "Marco Bernardo and Alessandro Cimatti",
isbn = "978-3-540-34304-2",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Advanced Lectures of the Sixth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Hardware Verification}",
volume = 3965,
year = 2006,
}

### Contents (8 items)

- SFM-2006-BombieriFP #design #hardware #simulation #verification
- Hardware Design and Simulation for Verification (NB, FF, GP), pp. 1–29.
- SFM-2006-DrechslerF #automation #generative
- Automatic Test Pattern Generation (RD, GF), pp. 30–55.
- SFM-2006-ClaessenR #evaluation
- An Introduction to Symbolic Trajectory Evaluation (KC, JWR), pp. 56–77.
- SFM-2006-CabodiM #hardware #verification
- BDD-Based Hardware Verification (GC, MM), pp. 78–107.
- SFM-2006-GuptaGW #hardware #satisfiability #verification
- SAT-Based Verification Methods and Applications in Hardware Verification (AG, MKG, CW), pp. 108–143.
- SFM-2006-CimattiS #performance #satisfiability
- Building Efficient Decision Procedures on Top of SAT Solvers (AC, RS), pp. 144–175.
- SFM-2006-Manolios #proving #refinement #theorem proving
- Refinement and Theorem Proving (PM), pp. 176–210.
- SFM-2006-Harrison #float #proving #theorem proving #using #verification
- Floating-Point Verification Using Theorem Proving (JH), pp. 211–242.