scientific article; zbMATH DE number 4080966

MaRDI QIDQ3811752zbMATH OpenFDO

Authors Thomas Käufl

Publication date 1988

zbMATH Keywords

program verifiersystems of linear inequalities

Mathematics Subject Classification ID

Linear inequalities of matrices (15A39)

Recommendations

• scientific article; zbMATH DE number 4035205
• scientific article; zbMATH DE number 45094
• scientific article; zbMATH DE number 269852
• scientific article; zbMATH DE number 3609
• scientific article; zbMATH DE number 3883605
• A theory of linear inequality systems
• scientific article; zbMATH DE number 4055373

Cited in

(9)

• Problem-oriented verification system and its application to linear algebra programs
• SLAP: specification logic of actions with probability
• scientific article; zbMATH DE number 4047197 (Why is no real title available?)
• scientific article; zbMATH DE number 4060995 (Why is no real title available?)
• scientific article; zbMATH DE number 45094 (Why is no real title available?)
• scientific article; zbMATH DE number 1285794 (Why is no real title available?)
• scientific article; zbMATH DE number 1857330 (Why is no real title available?)
• Str\(\dotplus\)ve and integers
• scientific article; zbMATH DE number 269852 (Why is no real title available?)

Describes a project that uses

Uses Software

• ClawZ

This page was built for publication:

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