danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Obsidian/Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/TLA/Writing a MARVEL Specification in TLA+.md
Dane Sabo 5031f1c679 update
2025-08-14 17:22:29 -04:00

508 B
Raw Blame History

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