Obsidian/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md

What is the MARVEL reactor?

• [<] What the fuck is MARVEL? #Reading 🆔 furwbi ⏫ 📅 2025-02-28

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-03-04