Approximate bisimulation and optimization of software programs based on symbolic-numeric computation

zbMATH Open1296.68099MaRDI QIDQ459934FDOQ459934

Hui Deng, Jinzhao Wu

Publication date: 13 October 2014

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cited In (2)

• Application of symbolic approach to the Bernstein expansion for program analysis and optimization
• A symbolic computation approach to parameterizing controller for polynomial Hamiltonian systems

This page was built for publication: Approximate bisimulation and optimization of software programs based on symbolic-numeric computation

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