BlockASP: A Framework for AOP-Based Model Checking Blockchain System.
Anas M. R. AlsobehAws A. MagablehPublished in: IEEE Access (2023)
Keyphrases
- model checking
- temporal logic
- abstract interpretation
- formal verification
- artifact centric
- verification method
- formal specification
- symbolic model checking
- model checker
- logical framework
- ordered binary decision diagrams
- automated verification
- bounded model checking
- artificial intelligence
- finite state
- finite state machines
- software architecture
- np complete
- search algorithm