Optimizing an LTS-simulation algorithm

zbMATH Open1399.65139MaRDI QIDQ2970249FDOQ2970249

Authors: Lukáš Holik, Jiří Šimáček 

Publication date: 29 March 2017

Recommendations

• Saving space in a time efficient simulation algorithm
• Foundation for a series of efficient simulation algorithms
• An efficient simulation algorithm based on abstract interpretation

zbMATH Keywords

optimizationgrammartree automata

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10)

Cited In (2)

• Optimizing the JSM Program
• Reasoning About Regular Properties: A Comparative Study

This page was built for publication: Optimizing an LTS-simulation algorithm

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