ASM Formalization Projects