Many people concern the safety problem over non-safe languages on EVMs.
There are many topics aroud safety problems, such as
- formal verification
- model checking
- automata theory
- satisfiability theory
- type theory
- domain theory
I think we will be happy if there is a category of such topics.
I would name it e,g, “FormalVerification”, “Language”, or, “SafeLanguage” .