Issue 1-2/2005
Content (5 Articles)
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm
Milos Besta, Frank Stomp
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
Sharon Barner, Orna Grumberg
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS
Alberto Verdejo, Narciso Martí-Oliet