# DYOR on Formal Method ## 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)