Model checking View on Open Library

Model checking

by Edmund M. Clarke Jr. , Orna Grumberg , Doron A. Peled

No reviews yet
First published: 1999 1 language ISBN: 9780585385587
Subjects
Datenverarbeitungssystem Computersystemen Engenharia de software Modellen Verificação e validação de software Vérification Model Checking Verification Logiciels Computer systems

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Datenverarbeitungssy...
Kommunikationskonzepte für verteilte transaktionsorientierte Systeme

Kommunikationskonzepte für verteilte tra...

Kurt Rothermel
Information processing systems

Information processing systems

Davis, William S.
Computer systems and water resources

Computer systems and water resources

George Bugliarello
Exercises in computer systems analysis

Exercises in computer systems analysis

Everling, Wolfgang.
Performance models of multiprocessor systems

Performance models of multiprocessor sys...

M. Ajmone Marsan
Lectures on the Measurement and Evaluation of the Performance of Computing Systems (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF ... Conference Series in Applied Mathematics)

Lectures on the Measurement and Evaluati...

Saul Rosen