Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems.
Sarra M. AlqahtaniXinchi HeRose F. GambleMauricio PapaPublished in: HICSS (2020)
Keyphrases
- supply chain
- functional requirements
- formal verification
- management system
- revenue sharing
- management policies
- model checking
- supply chain management
- development process
- software systems
- software architecture
- software design
- lead time
- inventory management
- service level
- inventory control
- decision making
- cost savings
- supplier selection
- bullwhip effect
- stackelberg game
- electronic commerce
- information technology