A Method to Analyze Predicate Transition Nets Using SPIN Model Checker Conference

Alam, Dewan Mohammad Moksedul, He, Xudong. (2017). A Method to Analyze Predicate Transition Nets Using SPIN Model Checker . International Journal of Software Engineering and Knowledge Engineering, 27(9-10), 1455-1481. 10.1142/S021819401740006X

cited authors

  • Alam, Dewan Mohammad Moksedul; He, Xudong

authors

publication date

  • December 1, 2017

published in

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • Formal methods
  • SPIN
  • Science & Technology
  • Technology
  • high-level Petri nets
  • model checking
  • predicate transition nets
  • temporal logic

Digital Object Identifier (DOI)

start page

  • 1455

end page

  • 1481

volume

  • 27

issue

  • 9-10