A survey of verification techniques for parallel programs
From MaRDI portal
Publication:1059388
zbMath0566.68002MaRDI QIDQ1059388
Publication date: 1985
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)
Related Items (5)
Unnamed Item ⋮ Deciding program properties via complete abstractions on bounded domains ⋮ Connection between logical and algebraic approaches to concurrent systems ⋮ Real-time refinement in Manna and Pnueli's temporal logic ⋮ A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
This page was built for publication: A survey of verification techniques for parallel programs
