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

zbMath1296.68099MaRDI QIDQ459934

Jinzhao Wu, Hui Deng

Publication date: 13 October 2014

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

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)