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
• Using optimal simulations to reduce reachability graphs
• Distributed algorithms for time optimal reachability analysis
• Rule invariants in graph transformation systems for analyzing safety-critical systems

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)