1984 · 266 citations · 12 references
ComputingComputer EngineeringComputer ScienceFormal MethodsLogicProgramming LanguagesConcurrency ControlConcurrency VerificationConcurrent ProgrammingConcurrent System VerificationSpecification LanguagesTemporal LogicCompositional VerificationConcurrency LogicConcurrent Program VerificationTemporal Logic SpecificationTemporal Logic VerificationTemporal SpecificationsVerification Of Concurrent Programs
A compositional temporal logic proof system for the specification and verification of concurrent programs is presented. Versions of the system are developed for shared variables and communication based programming languages that include procedures.
12
An axiomatic proof technique for parallel programs I
Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations
The temporal semantics of concurrent programs
Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations
Specification and Design of (Parallel) Programs
Cliff B. Jones · IFIP Congress · 1983 · 397 citations
The correctness problem in computer science
Mathematics and Computers in Simulation · 1983 · 355 citations