Home » Authors » Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar

Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar

Public reference bibliography and cataloged PDF materials authored or published by Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar.

Found 1 document(s) Page 1 of 1

Model Checking Languages of Data Words

Year: 2012 • Source: hal.science • Listed PDF

We consider the model-checking problem for data multi-pushdown automata (DMPA). DMPA generate data words, i.e, strings enriched with values from an infinite domain. The latter can be used to represent an unbounded number...