Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis

DOI10.1007/978-3-662-53413-7_14MaRDI QIDQ6830213zbMATH OpenFDO

Authors Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga

Publication date 27 August 2018

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

This page was built for publication: Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis

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