Obsidian/Programming/Formal Methods/TLA/Writing a MARVEL Specification in TLA+.md

What is the MARVEL reactor?

• What the fuck is MARVEL? #Reading 🆔 furwbi ⏫ 📅 2025-02-28 ✅ 2025-03-21

What are some specs that perhaps can be formalized in TLA+?

What are the specs of interest?

• [-] Write down some specs from MARVEL in natural language #Formal-methods 🆔 lofl94 ⛔ furwbi ⏫ 📅 2025-02-28 ❌ 2025-03-21

How do they translate to TLA+?

• [-] Translate a MARVEL specification into a TLA+ module #Formal-methods #TLA ⛔ lofl94 ⏫ 📅 2025-07-29 ❌ 2025-07-28