Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems

DOI10.1007/978-3-642-02270-8_6zbMath1248.68545OpenAlexW1579323922MaRDI QIDQ5321691

Jin-Yun Xue, Changjing Wang

Publication date: 14 July 2009

Published in: Frontiers in Algorithmics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02270-8_6

zbMATH Keywords

generic algorithmdioidpath problemformal derivationhigh-trustworthy

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Paths and cycles (05C38) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Z

Cites Work

• Calculating path algorithms
• Generalized path-finding algorithms on semirings and the fuzzy shortest path problem.
• A Unified Approach to Path Problems
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems