Computability and decidability issues in the theory of consistency enforcement

MaRDI QIDQ2703751zbMATH OpenFDO

Authors Sebastian Link, Klaus-Dieter Schewe

Publication date 8 May 2001

zbMATH Keywords

specializationprogram specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2162120
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints
• Towards a theory of consistency enforcement
• Program verification. Fundamental issues in computer science
• scientific article; zbMATH DE number 1950750

Cited in

(5)

• scientific article; zbMATH DE number 2162120 (Why is no real title available?)
• Consistency analysis of decision-making programs
• scientific article; zbMATH DE number 7533333 (Why is no real title available?)
• Decidability and complexity for quiescent consistency and its variations
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints

This page was built for publication: Computability and decidability issues in the theory of consistency enforcement

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