scientific article; zbMATH DE number 919842

MaRDI QIDQ4890707zbMATH OpenFDO

Authors Leo Marcus

Publication date 22 October 1996

zbMATH Keywords

symbolic execution systemssyntactic dependencetruth-maintenance systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Array theory of bounded elements and its applications
• Decision procedures for extensions of the theory of arrays
• Verification problem for linear programs with Boolean arrays
• Schemata of formulæ in the theory of arrays

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 Q4890707)