9 lines
463 B
Markdown
9 lines
463 B
Markdown
# 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 |