Using simplex method in verifying software safety

DOI10.2298/YJOR0901133VMaRDI QIDQ3655035zbMATH OpenOpenAlexFDO

Authors Milena Vujošević-Janičić, Filip Marić, Dušan Tošić

Publication date 12 January 2010

Published in Yugoslav Journal of Operations Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2298/yjor0901133v

Mathematics Subject Classification ID

Linear programming (90C05) Applications of mathematical programming (90C90)

Recommendations

• Fine-grained complexity of safety verification
• Fine-grained complexity of safety verification
• Using integer programming to verify general safety and liveness properties
• scientific article; zbMATH DE number 1487490
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1982198
• Dual analysis for proving safety and finding bugs
• scientific article; zbMATH DE number 1696882

Describes a project that uses

Uses Software

• SMT-LIB
• Flawfinder

This page was built for publication: Using simplex method in verifying software safety

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