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

cited authors

  • He, Xudong

authors

date/time interval

  • December 11, 2020 -

publication date

  • January 1, 2020

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

  • PEOPLES R CHINA, Macau

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