A unified approach of program verification

DOI10.1515/AUSI-2017-0005MaRDI QIDQ2013885zbMATHOpenAlexFDO

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

verificationcorrectnessprogramming modelprogram constructions

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

• 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?)
• 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

Cited in

(9)

• Mathematics of Program Construction
• Holistic Specifications for Robust Programs
• Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
• From program verification to program synthesis
• Refinement-Based Verification of Communicating Unstructured Code
• Programmed strategies for program verification
• Unifying theories of programming that distinguish nontermination and abort
• 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)