Application of conditional term substitution systems in program verification

zbMATH Open0623.68008MaRDI QIDQ1091795

S. G. Vorob'ev

Publication date: 1986

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

Horn theoriesprogram verificationdecision procedureaxiom premisesconditional reduction rulesdecidable subtheories

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: Application of conditional term substitution systems in program verification

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