Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

Nao IGAWA  Tomoyuki YOKOGAWA  Sousuke AMASAKI  Masafumi KONDO  Yoichiro SATO  Kazutami ARIMOTO  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/12/20
DOI: 10.1587/transinf.2019EDL8086
Full Text: PDF(134.8KB)