Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11768173_6 | UTP |
Field | DocType | Volume |
Computer science,Correctness,Algorithm,Theoretical computer science,Parsing,Formal methods,Syntax,Semantics,Safety property,Formal verification | Conference | 4010 LNCS |
Issue | ISSN | ISBN |
null | 0302-9743 | 3-540-34750-X |
Citations | PageRank | References |
1 | 0.35 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
He Jifeng | 1 | 1771 | 190.43 |
Shengchao Qin | 2 | 711 | 62.81 |
Adnan Sherif | 3 | 83 | 5.26 |