Verification of software requirements on program systems represented by attribute transition systems

DOI10.1023/B:CASA.0000020220.16822.36zbMath1097.68539OpenAlexW2054875673MaRDI QIDQ557426

Jianyong Qiao, Sumit K. Garg

Publication date: 30 June 2005

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:casa.0000020220.16822.36

zbMATH Keywords

theorem provingconsistency of requirements on programsprover

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Verification of software requirements on program systems represented by attribute transition systems