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,
}

Event page: http://www.sti.uniurb.it/events/sfm06hw/

Contents (8 items)

4 ×#verification
3 ×#hardware
2 ×#proving
2 ×#satisfiability
2 ×#theorem proving

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.