A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations.
Vimal Kumar DwivediAlex NortaAlexander WulfBenjamin LeidingSandeep SaxenaChibuzor UdokwuPublished in: IEEE Access (2021)
Keyphrases
- formal specification
- specification language
- process algebra
- model checking
- data abstraction
- specification languages
- cooperative
- object oriented design
- concurrent systems
- formal specification language
- formal methods
- reverse engineering
- programming language
- decision making
- model checker
- distributed systems
- information technology
- multi agent
- supply chain
- information systems
- software components
- petri net
- web services