On strongest algebraic program invariants

DOI10.1145/3614319MaRDI QIDQ7031989zbMATH OpenFDO

Authors Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell

Publication date 5 February 2025

Published in Journal of the ACM (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

matrix semigroupsprogram verificationZariski closurepolynomial programsalgebraic invariants

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

This page was built for publication: On strongest algebraic program invariants

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