Bounded Model Checking High Level Petri Nets in PIPE plus Verifier Conference

Liu, Su, Zeng, Reng, Sun, Zhuo et al. (2014). Bounded Model Checking High Level Petri Nets in PIPE plus Verifier . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 8829 348-363.

cited authors

  • Liu, Su; Zeng, Reng; Sun, Zhuo; He, Xudong

sustainable development goals

authors

date/time interval

  • November 3, 2014 -

publication date

  • January 1, 2014

webpage

published in

keywords

  • Bounded Model Checking
  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Formal Methods
  • Model Checking
  • Petri Nets
  • SATISFIABILITY MODULO THEORIES
  • Science & Technology
  • Technology

Location

  • Luxembourg, LUXEMBOURG

International Standard Book Number (ISBN) 13

Conference

  • 16th International Conference on Formal Engineering Methods (ICFEM)

publisher

  • SPRINGER INTERNATIONAL PUBLISHING AG

start page

  • 348

end page

  • 363

volume

  • 8829