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

312 B
Raw Blame History

What is the MARVEL reactor?

  • [?] What the fuck is MARVEL? #Reading 📅 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 📅 2025-02-28

How do they translate to TLA+?