Natural Language-Based Model-Checking Framework for Move Smart Contracts.
Keerthi NelaturuEric KeiltyAndreas G. VenerisPublished in: SDS (2023)
Keyphrases
- model checking
- temporal logic
- natural language
- artifact centric
- symbolic model checking
- formal verification
- finite state machines
- temporal properties
- model checker
- computation tree logic
- abstract interpretation
- process algebra
- epistemic logic
- finite state
- np hard
- multi agent systems
- formal specification
- timed automata
- reachability analysis
- planning problems
- ordered binary decision diagrams