Invariant and Type Inference for Matrices

DOI10.1007/978-3-642-11319-2_14zbMath1273.68083OpenAlexW1522615192MaRDI QIDQ3656882

Andrei Voronkov, Thibaud Hottelier, Laura Kovács, Thomas A. Henzinger

Publication date: 14 January 2010

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

Full work available at URL: https://repository.ist.ac.at/69/1/Invariant_and_type_inference_for_matrices.pdf

Mathematics Subject Classification ID

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

Related Items (3)

Contract-based verification of MATLAB-style matrix programs ⋮ Inferring Loop Invariants Using Postconditions ⋮ Inferring functional properties of matrix manipulating programs by abstract interpretation

Uses Software

• Aligator
• Mathematica
• VAMPIRE
• TPTP
• z3
• JAMA
• iProver
• JAMPACK
• E Theorem Prover

This page was built for publication: Invariant and Type Inference for Matrices