Optimizing an LTS-simulation algorithm

MaRDI QIDQ2970249zbMATH OpenFDO

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

Publication date 29 March 2017

zbMATH Keywords

optimizationgrammartree automata

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10)

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

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)