Graph-transformation verification using monadic second-order logic.

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Browse the full PPDP paper archive.