Formalization of Incremental Simplex Algorithm by Stepwise Refinement

DOI10.1007/978-3-642-32759-9_35zbMath1372.68068MaRDI QIDQ4647860

Filip Marić, Mirko Spasić

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_35

Mathematics Subject Classification ID

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

Uses Software

• Isabelle/HOL