TV Shows Anime Top 250 TV Top 100 Anime

Books Manga Top 125 Books Top 100 Manga

For you Trending Tier Lists The Archive Leaderboard

Log in Sign up free

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

Home FeedProfile

Computer Aided Verification

Computer Aided Verification

by Daniel Kroening, Corina S. Păsăreanu

Computer software, verificationLogic, symbolic and mathematical

0.0

Open Library

Themes & subjects

Computer software, verificationLogic, symbolic and mathematical

Authors

Daniel Kroening, Corina S. Păsăreanu

Pages

677

Read time

≈ 17h

Editions

4

Language

English

Publisher

Springer London, Limited

ISBN

9783319216904

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

Languages, Design Methods, and Tools for Electronic System Design

Software engineering · Computer software, verification

Languages, Design Methods, and Tools for Electronic System Design

2016

Principles of model checking

Computer systems · Verification

Principles of model checking

2008

Reactive systems

Expert systems (Computer science) · Validation

Reactive systems

2003

Model checking

Datenverarbeitungssystem · Computersystemen

Model checking

Edmund M. Clarke Jr.

1999

Next generation Java testing

Java (Computer program language) · Testing

Next generation Java testing

2007

Text, Speech and Dialogue

Data Mining and Knowledge Discovery · Database management

Text, Speech and Dialogue

2012

Leveraging Applications of Formal Methods, Verification and Validation

Computer software, verification · Computer software, validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

2008

Software engineering reviews and audits

Validation · Verification

Software engineering reviews and audits

Boyd L. Summers

2011

Verification and Validation for Quality of UML 2.0 Models

Computer software · Quality control

Verification and Validation for Quality of UML 2.0 Models

Bhuvan Unhelkar

2005

Software testing

Computer software · Development

Software testing

Gerald D. Everett

2006

Practical software testing

Computer software · Testing

Practical software testing

Ilene Burnstein

2003

Verification by error modeling

Computer-aided design · Error analysis (Mathematics)

Verification by error modeling

Katarzyna Radecka

2003

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

1905

How to solve it

Mathematics · Problems, exercises

How to solve it

1945

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

1954

Logic

Logic · Logic, symbolic and mathematical

Logic

2007