Foundational Verification of Smart Contracts through Verified Compilation.
Vilhelm SjöbergKinnari DaveDaniel BrittenMaria A SchettXinyuan SunQinshi WangSean Noble AndersonSteve ReevesZhong ShaoPublished in: CoRR (2024)
Keyphrases
- model checking
- concurrent systems
- formal verification
- supply chain
- databases
- smart grid
- search algorithm
- information systems
- genetic algorithm
- machine learning
- data sets
- data structure
- expert systems
- information retrieval
- smart environments
- face verification
- formal analysis
- signature verification
- real world
- functional verification