Verifying Concurrent Processes Using Temporal Logic | EKB DL

Home BookVerifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic

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

Similar Books

Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)

Systems and Software Verification Model-Checking Techniques and Tools

Systems and Software Verification Model-Checking Techniques and Tools

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Temporal Verification of Reactive Systems Safety

Temporal Verification of Reactive Systems Safety

Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

Logics for Concurrency Structure Versus Automata

Logics for Concurrency Structure Versus Automata

Current Trends in Concurrency Overviews and Tutorials

Current Trends in Concurrency Overviews and Tutorials

Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes