Tags
Language
Tags
<<
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1
  1. Home
  2. eBooks & eLearning
  3. theorem proving

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Posted By: AvaxGenius
Date: 11 Dec 2021 14:22:40
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday by Robert L. Constable
English | PDF | 2012 | 366 Pages | ISBN : 3642294847 | 4.8 MB

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs) and the contributions in this volume reflect the breadth of his work and influence.
Details

First-Order Logic and Automated Theorem Proving

Posted By: AvaxGenius
Date: 1 Jul 2021 04:58:08
First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving by Melvin Fitting
English | PDF | 1996 | 337 Pages | ISBN : 0387945938 | 26.9 MB

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien­ tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance.
Details

Introduction to Formal Hardware Verification

Posted By: AvaxGenius
Date: 17 Nov 2020 23:14:02
Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification by Thomas Kropf
English | PDF | 1999 | 309 Pages | ISBN : 364208477X | 25.3 MB

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique.
Details
UPWARDS