# DYOR on Formal Method ## Metadata **Status**:: #now **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)