Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking.
Yang LiuZiyu ZhouYongsheng YangYan MaPublished in: Syst. (2022)
Keyphrases
- supply chain
- model checking
- temporal logic
- supply chain management
- finite state
- formal specification
- lead time
- formal verification
- bullwhip effect
- verification method
- model checker
- formal methods
- epistemic logic
- decision making
- inventory control
- supplier selection
- computation tree logic
- uncertain demand
- information flow
- revenue sharing
- data mining