Verifying Concurrent Processes Using Temporal Logic
Description
This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.
Keywords
ComputersComputer ScienceInformation TechnologyLogic DesignProgrammingMathematicsDiscrete Mathematics
1982Book
Author(s)B. T. Hailpern
PublisherSpringer Science & Business Media
ISBN9783540112051
LanguageEnglish
