Towards automated verification of Bitcoin-based decentralised applications.
Stefano BistarelliAndrea BraccialiRick KlompIvan MercantiPublished in: SAC (2023)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- credit card
- conflict resolution
- max sum algorithm
- discrete event systems
- multi agent systems
- graph theory
- temporal logic
- autonomous agents
- trusted third party
- artificial intelligence
- theorem prover
- knowledge representation
- probabilistic reasoning
- access control policies