(Un)solvable loop analysis

DOI10.1007/S10703-024-00455-0MaRDI QIDQ6987107zbMATH OpenFDO

Authors Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovič

Publication date 7 May 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

verificationinvariant generationsolvable operatorsalgebraic recurrencessolvable loop synthesis

Mathematics Subject Classification ID

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

This page was built for publication: (Un)solvable loop analysis

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