Abstract | ||
---|---|---|
A formal method of synthesising a converter that translates signals between two heterogeneous, off-the-shelf protocol IPs is presented in the form of a case study. At the heart of the method is a model checker that guarantees the converter satisfies correctness conditions, as well as user-defined properties. In this approach, the issue of nondeterminism is explicitly addressed, and is used to synthesise an optimal converter. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-02979-0_30 | CIAA |
Keywords | Field | DocType |
formal method,model checker,correctness condition,case study,user-defined property,translates signal,optimal converter,off-the-shelf protocol ips,protocol converter,satisfiability | Model checking,Programming language,Computer science,Correctness,Protocol converter,Theoretical computer science,Formal methods | Conference |
Volume | ISSN | Citations |
5642 | 0302-9743 | 3 |
PageRank | References | Authors |
0.43 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jing Cao | 1 | 20 | 2.99 |
Albert Nymeyer | 2 | 106 | 9.98 |