×
Manna, Zohar; Pnueli, Amir

Verification of concurrent programs: A temporal proof system. (English) Zbl 0507.68005

Foundations of computer science IV. Distributed systems. Part 2: Semantics and logic, Math. Cent. Tracts 159, 163-255 (1983).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0507.68005

Cited in 3 Reviews
Cited in 16 Documents

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
03B45 Modal logic (including the logic of norms)

Keywords:

shared-variables computation model; first-order temporal logic; invariance; liveness; precedence

Citations:

Zbl 0504.00029
Cite Review PDF