Name
Abstract | ||
|---|---|---|
This case study contains a formal verification of the IEEE 1394 FireWire Tree Identify Protocol. Crucial properties of finite models of the protocol have been validated with state-of-the-art symbolic model checkers. Various optimization techniques were applied to verify concrete and generic configurations. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1007/s001650300005 | Formal Asp. Comput. |
Keywords | Field | DocType |
Keywords: IEEE 1394 FireWire,Formal methods,Protocol verification,Model checking | Model checking,Computer science,Theoretical computer science,Formal methods,Protocol verification,IEEE 1394,Formal verification | Journal |
Volume | Issue | ISSN |
14 | 3 | 0934-5043 |
Citations | PageRank | References |
7 | 0.64 | 23 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Viktor Schuppan | 1 | 409 | 17.49 |
| Armin Biere | 2 | 4106 | 245.11 |