A unified approach of program verification
From MaRDI portal
Publication:2013885
DOI10.1515/AUSI-2017-0005zbMATH Open1414.68019OpenAlexW2741106471MaRDI QIDQ2013885FDOQ2013885
Authors: Tibor Gregorics, Zsolt Borsi 
Publication date: 9 August 2017
Published in: Acta Universitatis Sapientiae. Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/ausi-2017-0005
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Concurrency verification. Introduction to compositional and noncompositional methods
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic proof technique for parallel programs
- Title not available (Why is that?)
- Concept of the abstract program
- Title not available (Why is that?)
Cited In (9)
- Programmed strategies for program verification
- Refinement-Based Verification of Communicating Unstructured Code
- Unifying theories of programming that distinguish nontermination and abort
- Holistic Specifications for Robust Programs
- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
- Mathematics of Program Construction
- A mechanical analysis of program verification strategies
- From program verification to program synthesis
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)
