A formal model for ledger management systems based on contracts and temporal logic.
Paolo BottoniAnna LabellaRemo PareschiPublished in: CoRR (2021)
Keyphrases
- formal model
- temporal logic
- management system
- model checking
- modal logic
- satisfiability problem
- supply chain
- database management systems
- concurrent systems
- verification method
- formal models
- belief revision
- mazurkiewicz traces
- security properties
- predicate logic
- linear temporal logic
- bounded model checking
- transition systems
- model checker
- reactive systems
- np complete
- reinforcement learning
- automata theoretic
- knowledge base