← Back to Browse
Verifying concurrent processes using temporal logic

Verifying concurrent processes using temporal logic

by Brent T. Hailpern

Subjects

Computer programs Parallel processing (Electronic computers) Verification Programmation structurée Allocation ressource Vérification Programme parallèle Programmierung Heuristique Programmverifikation Logiciel - vérification Vérification logiciel
Read on Open Library More by Brent T. Hailpern

Related Books

Financial Management

Financial Management

United States. General Accounting Office

198793 ed.
Financial audit

Financial audit

United States. General Accounting Office

1943402 ed.
Managerial Accounting

Managerial Accounting

Jerry J. Weygandt

199980 ed.
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advances in Computers)

Marvin V. Zelkowitz

199569 ed.
Reconfigurable Processor Array A Bit Sliced Parallel Computer (USA)

Reconfigurable Processor Array A Bit Sliced Parallel Computer (USA)

A. Rushton

1986132 ed.
Software Engineering

Software Engineering

Roger S. Pressman

198255 ed.
The C Programming Language

The C Programming Language

Brian W. Kernighan

197849 ed.
4th of July

4th of July

James Patterson

194751 ed.