Joint optimization and reachability analysis in graph transformation systems with time

MaRDI QIDQ2847858zbMATH OpenFDO

Authors Szilvia Gyapay, Ákos Schmidt, Dániel Varró

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052156

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Graph Transformations
• Compositional analysis of probabilistic timed graph transformation systems
• scientific article; zbMATH DE number 177512
• Distributed algorithms for time optimal reachability analysis
• scientific article; zbMATH DE number 2016085

Cited in

(1)

• Towards automated software model checking using graph transformation systems and bogor

This page was built for publication: Joint optimization and reachability analysis in graph transformation systems with time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847858)