A unified approach of program verification
type: Item
instance of: scholarly article
title: A unified approach of program verification
zbMATH Open document ID: 1414.68019
author: Tibor Gregorics
author: Zsolt Borsi
published in: Acta Universitatis Sapientiae. Informatica
publication date: 2017-08-09T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6759007
zbMATH Keywords: verification
zbMATH Keywords: programming model
zbMATH Keywords: program constructions
zbMATH Keywords: correctness
MaRDI profile type: Publication
full work available at URL: ausi-2017-0005
OpenAlex ID: W2741106471
cites work: Q4344071
cites work: Q4144755
cites work: Q3210885
cites work: Q2935514
cites work: An axiomatic proof technique for parallel programs
cites work: Q3925859
cites work: An axiomatic basis for computer programming
cites work: Q4124327
cites work: Concurrency verification. Introduction to compositional and noncompositional methods
DOI: 10.1515/AUSI-2017-0005
description: scientific article; zbMATH DE number 6759007