scientific article; zbMATH DE number 962401

zbMATH Open0864.68043MaRDI QIDQ5690664FDOQ5690664

Authors: Jinyun Xue 

Publication date: 7 January 1997

Title of this publication is not available (Why is that?)

Recommendations

• The formal derivation of algorithm and automatic verification based on Isabelle
• scientific article; zbMATH DE number 194510
• Logical and algorithmic formalisms for the problem of correct program design
• Formal methods in computer technologies

zbMATH Keywords

data structurealgorithm designalgorithmic programs

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Parallel algorithms in computer science (68W10)

Cited In (3)

• Formal proof of a program: find
• Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems
• The formal derivation of algorithm and automatic verification based on Isabelle

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