Formal-Verification of Smart-Contract Languages: A Survey.
Vimal Kumar DwivediVipin DevalAbhishek DixitAlex NortaPublished in: ICACDS (2) (2019)
Keyphrases
- formal verification
- model checking
- automated verification
- bounded model checking
- expressive power
- model checker
- temporal logic
- language independent
- functional verification
- program slicing
- databases
- symbolic model checking
- smart environments
- target language
- description languages
- supply chain
- dynamic programming
- cross lingual
- artificial intelligence