danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Obsidian/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md

451 B
Raw Blame History

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

How do they translate to TLA+?

  • Translate a MARVEL specification into a TLA+ module #Formal-methods #TLA ⛔ lofl94 📅 2025-03-04