# DYOR on Formal Method ## Metadata **Status**:: #x **Zettel**:: #zettel/fleeting **Kind**:: #dyor **Created**:: [[2025-04-27]] ## Synopsis - [x] Read Practical Alloy [[Alloy Authors - Practical Alloy (Highlights)]] - Learn Relational Logic - Follow the Syllabus of [[6.894 Lightweight Formal Methods - Problem Sets|6.894 Lightweight Formal Methods]] - Follow the [suggestions from AI](https://www.perplexity.ai/search/expand-the-following-plan-to-l-0_MxOJlVSrOS2p8HK42UFw?0=d)