fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Model checking

Model checking

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

DatenverarbeitungssystemComputersystemenEngenharia de softwareModellenVerificação e validação de software
0.0
Open Library
Open Library

Themes & subjects

DatenverarbeitungssystemComputersystemenEngenharia de softwareModellenVerificação e validação de softwareVérification

Authors

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

Pages

424

Read time

≈ 11h

Editions

5

Language

English

Publisher

MIT Press

ISBN

9780585385587

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Information processing systems

Electronic digital computers · Electronic data processing

Information processing systems

Davis, William S.

1978

Computer systems and water resources

Data processing · Water resources development

Computer systems and water resources

George Bugliarello

1974

Exercises in computer systems analysis

Electronic data processing · Queuing theory

Exercises in computer systems analysis

Everling, Wolfgang.

1972

Performance models of multiprocessor systems

Evaluation · Multiprocessors

Performance models of multiprocessor systems

M. Ajmone Marsan

1986

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)

Computers, valuation · Electronic digital computers

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)

Saul Rosen

1987

Computer performance measurement and evaluation methods

Electronic digital computers · Evaluation

Computer performance measurement and evaluation methods

Liba Svobodova

1976

Industrial parsing of software manuals

Lingustic String Parser (Computer grammar) · Handleidingen

Industrial parsing of software manuals

Annette Mcelligott

1996

Using the computer in the social sciences

Data processing · Academic writing

Using the computer in the social sciences

Ronald J. Hy

1977

Quantitative analysis of computer systems

Electronic digital computers · Evaluation

Quantitative analysis of computer systems

Clement H. C. Leung

1988

Modelling of computer and communication systems

Mathematical models · Digital computer simulation

Modelling of computer and communication systems

I. Mitrani

1987

Rechensysteme

Datenverarbeitungssystem · Betriebssystem (Datenverarbeitung)

Rechensysteme

Eike Jessen

1987

Rechnerstrukturen und Betriebsprogrammierung

Computer programming · Congresses

Rechnerstrukturen und Betriebsprogrammierung

Wolfgang Händler

1974

Reliable computer systems

Electronic digital computers · Newcastle Reliability Project

Reliable computer systems

1985

Aspects of distributed computer systems

Electronic data processing · Distributed processing

Aspects of distributed computer systems

Harold Lorin

1980

Molecular computing

Molecular electronics · Molecular computers

Molecular computing

[name missing]

2003

User-centered technology

Human engineering · Social aspects

User-centered technology

Robert R. Johnson

1998

Melodic similarity

Melodic analysis · Data processing

Melodic similarity

Walter B. Hewlett

1998

High performance computing

Congresses · High performance computing

High performance computing

Mateo Valero

2000