A unified approach of program verification

DOI10.1515/ausi-2017-0005zbMath1414.68019OpenAlexW2741106471MaRDI QIDQ2013885

Zsolt Borsi, Tibor Gregorics

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

zbMATH Keywords

verificationcorrectnessprogramming modelprogram constructions

Mathematics Subject Classification ID

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

Cites Work

• An axiomatic proof technique for parallel programs
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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