Formal Methods in System Design

5	--	17	Milos Besta, Frank A. Stomp. A Complete Mechanization of Correctness of a String-Preprocessing Algorithm
29	--	66	Sharon Barner, Orna Grumberg. Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
67	--	112	Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham. A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
113	--	172	Alberto Verdejo, Narciso Martí-Oliet. Two Case Studies of Semantics Execution in Maude: CCS and LOTOS
173	--	200	Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk. Formalization of Fixed-Point Arithmetic in HOL

External Links