Constructing Property-Oriented Models for Verification | Zendy

Jifeng He | Zendy; Shengchao Qin | Zendy; Adnan Sherif | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Constructing Property-Oriented Models for Verification

Author(s) -

Jifeng He,

Shengchao Qin,

Adnan Sherif

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-34750-X

DOI - 10.1007/11768173_6

Subject(s) - computer science , correctness , property (philosophy) , programming language , construct (python library) , formal verification , theoretical computer science , software engineering , philosophy , epistemology

This paper advocates a general approach to formal verification by constructing property-oriented models. We instantiate the approach using timing properties, and construct a heterogeneous untimed model in which time is abstracted away, so that we can verify timing properties in an untimed framework. The correctness of property-oriented model construction is ensured by the conformance of semantic and syntactic mappings.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research