A comparative study of formal verification techniques for software architecture specifications

DOI10.1023/A:1018960305057MaRDI QIDQ1859540zbMATH OpenOpenAlexFDO

Authors Kuang Xu, Jeffrey J.-P. Tsai

Publication date 19 February 2003

Published in Annals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018960305057

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• Automated Technology for Verification and Analysis
• A framework for specifying and verifying the behaviour of open systems
• scientific article; zbMATH DE number 2112452
• scientific article; zbMATH DE number 1903363
• On the correctness of upper layers of automotive systems

Cited in

(2)

• scientific article; zbMATH DE number 2080068 (Why is no real title available?)
• A framework for specifying and verifying the behaviour of open systems

This page was built for publication: A comparative study of formal verification techniques for software architecture specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1859540)