Name
Abstract | ||
|---|---|---|
We explain the rationale behind the design of the TLA(+) specification language, and we describe our experience using it and the TLC model checker in industrial applications-including the verification of multiprocessor memory designs at Intel. Based on this experience, we challenge some conventional wisdom about high-level specifications. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1007/978-3-540-39656-7_10 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
specification language | Specification language,Programming language,Model checking,Object-oriented programming,Software engineering,Computer science,Conventional wisdom,Component-based software engineering,Formal methods,Software development,Distributed computing,Hardware description language | Conference |
Volume | ISSN | Citations |
2852 | 0302-9743 | 14 |
PageRank | References | Authors |
1.12 | 16 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Brannon Batson | 1 | 270 | 21.72 |
| Leslie Lamport | 2 | 19293 | 3940.87 |