Abstract | ||
---|---|---|
In this paper we investigate timing diagrams as a means to specify causal dependencies. We introduce a stylized graphical representation of timing diagrams for which we define a formal basis. Furthermore, we compare our approach with well-known approaches from the area of program verification and show the semantic relationships. The major aim we follow by this work is a seamless integration of hardware design and software development providing a common semantic basis e.g. for verification. Therefore, the semantic relationships to frameworks for program verification show that the combination of these approaches is a good starting point for further development. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-40911-4_4 | IFM |
Keywords | Field | DocType |
program verification show,software development,hardware design,major aim,program verification,formal basis,common semantic basis,timing diagram,causal dependencies,causal dependency,verification purposes,semantic relationship,formalizing timing diagrams,formal semantics,dynamic logic | Causality,Functional verification,Programming language,Kripke semantics,Computer science,Stylized fact,Theoretical computer science,Computer design,Formal methods,Dynamic logic (digital electronics),Software development | Conference |
Volume | ISSN | ISBN |
1945 | 0302-9743 | 3-540-41196-8 |
Citations | PageRank | References |
0 | 0.34 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jörg Fischer | 1 | 0 | 0.34 |
Stefan Conrad | 2 | 168 | 105.91 |