Software verification based on linear programming

DOI10.1007/3-540-48118-4_11MaRDI QIDQ4493898zbMATH OpenFDO

Authors Stéphane Dellacherie, S. Devulder, J. L. Lambert

Publication date 1999

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

Full work available at URL https://doi.org/10.1007/3-540-48118-4_11

zbMATH Keywords

software verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Software model checking
• Hybrid Systems: Computation and Control
• Verification problem for linear programs with Boolean arrays
• scientific article; zbMATH DE number 1852175

Cited in

(4)

• Using simplex method in verifying software safety
• Certifying feasibility and objective value of linear programs
• A linear programming approach to general dataflow process network verification and dimensioning
• Hybrid Systems: Computation and Control

Describes a project that uses

Uses Software

• LARCH
• PVS

This page was built for publication: Software verification based on linear programming

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