Constructing Property-Oriented Models for Verification

DOI10.1007/11768173_6MaRDI QIDQ5307476zbMATH OpenOpenAlexFDO

Authors Jifeng He, Shengchao Qin, Adnan Sherif

Publication date 14 September 2007

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL http://dro.dur.ac.uk/6216/1/6216.pdf

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 2090155
• scientific article; zbMATH DE number 5181778
• Software model checking
• Formal verification of timed synchronous dataflow graphs using Lustre

Cited in

(3)

• IPL: an integration property language for multi-model cyber-physical systems
• Properties Incompleteness Evaluation by Functional Verification
• scientific article; zbMATH DE number 5181778 (Why is no real title available?)

This page was built for publication: Constructing Property-Oriented Models for Verification

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