Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
Foreword 1. Propositional logic 2. Predicate logic 3. Verification by model checking 4. Program verification 5. Modal logics and agents 6. Binary decision diagrams Bibliography Index.