scientific article; zbMATH DE number 877748

MaRDI QIDQ4877441zbMATH OpenFDO

Authors Christoph Kreitz

Publication date 1996

zbMATH Keywords

formal specificationsmeta-mathematics of programmingprogram synthesissearch algorithms

Mathematics Subject Classification ID

Theory of software (68N99) Logic in artificial intelligence (68T27) Parallel algorithms in computer science (68W10)

Recommendations

• From program verification to program synthesis
• The mathematical construction of a program
• Publication:5751976
• scientific article; zbMATH DE number 2090150
• scientific article; zbMATH DE number 1973214

Cited in

(7)

• A survey of languages for formalizing mathematics
• Formal verification for non-formalists
• scientific article; zbMATH DE number 5713654 (Why is no real title available?)
• scientific article; zbMATH DE number 5718039 (Why is no real title available?)
• scientific article; zbMATH DE number 4092761 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B
• Program correctness and matricial iteration theories

Describes a project that uses

Uses Software

• Nuprl

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