A unified approach of program verification

DOI10.1515/AUSI-2017-0005MaRDI QIDQ2013885zbMATH OpenOpenAlexFDO

Authors Tibor Gregorics, Zsolt Borsi

Publication date 9 August 2017

Published in Acta Universitatis Sapientiae. Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1515/ausi-2017-0005

zbMATH Keywords

correctnessprogram constructionsprogramming modelverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 53100
• Problems of verification of functional programs
• scientific article; zbMATH DE number 50008
• scientific article; zbMATH DE number 3936484
• Problem-oriented program verification

Cites work

• An axiomatic basis for computer programming
• An axiomatic proof technique for parallel programs
• Concept of the abstract program
• Concurrency verification. Introduction to compositional and noncompositional methods
• scientific article; zbMATH DE number 4193096 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1032897 (Why is no real title available?)

Cited in

(9)

• Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
• Programmed strategies for program verification
• Unifying theories of programming that distinguish nontermination and abort
• Refinement-Based Verification of Communicating Unstructured Code
• Holistic Specifications for Robust Programs
• From program verification to program synthesis
• Mathematics of Program Construction
• A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness
• A mechanical analysis of program verification strategies

This page was built for publication: A unified approach of program verification

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