Modeling and Analyzing Smart Contracts using Predicate Transition Nets Conference

He, Xudong. (2020). Modeling and Analyzing Smart Contracts using Predicate Transition Nets . 108-115. 10.1109/QRS-C51114.2020.00029

keywords

  • BLOCKCHAIN
  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology
  • blockchain
  • formal methods
  • high-level Petri nets
  • smart contracts

Location

  • Macau, PEOPLES R CHINA

Digital Object Identifier (DOI)

Conference

  • 20th IEEE International Conference on Software Quality, Reliability, and Security (QRS)

publisher

  • IEEE COMPUTER SOC

start page

  • 108

end page

  • 115