Daniel Kroening's Books

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

423

Publisher

MIT Press

Published Date

ISBN 10

0262349450

ISBN 13

9780262349451

Decision Procedures

An Algorithmic Point of View

By: Daniel Kroening,Ofer Strichman

Write a review Read reviews Take a Quiz Solve Book Puzzle

Decision Procedures

An Algorithmic Point of View

By: Daniel Kroening,Ofer Strichman

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

314

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540741054

ISBN 13

9783540741053

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies

By: Vladimir Herdt,Daniel Große,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies

By: Vladimir Herdt,Daniel Große,Rolf Drechsler

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

247

Publisher

Springer Nature

Published Date

ISBN 10

3030548287

ISBN 13

9783030548285

The Inhibitor Index

A Desk Reference on Enzyme Inhibitors, Receptor Antagonists, Drugs, Toxins, Poisons, Biologics, and Therapeutic Leads

By: Daniel Purich

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Inhibitor Index

A Desk Reference on Enzyme Inhibitors, Receptor Antagonists, Drugs, Toxins, Poisons, Biologics, and Therapeutic Leads

By: Daniel Purich

Metabolic inhibitors and receptor antagonists are indispensable tools for the molecular life scientist. By blocking specific enzymes or receptor-mediated signal transduction cascades, they simplify the analysis of complex cellular processes especially when it is essential to demonstrate that a process of interest is functionally linked to a particular enzyme or receptor. From antibiotics to statins, modern medicine relies on the reliability and ease-of-use of enzyme- and receptor-directed inhibitors and antagonists.The Inhibitor Index is a comprehensive, curated compendium of over 7,800 enzyme inhibitors and receptor antagonists, including many toxins, poisons, and metabolic uncouplers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

4175

Publisher

CRC Press

Published Date

ISBN 10

1351730673

ISBN 13

9781351730679

Alpha Docs

The Making of a Cardiologist

By: Daniel Muñoz,James M. Dale

Write a review Read reviews Take a Quiz Solve Book Puzzle

Alpha Docs

The Making of a Cardiologist

By: Daniel Muñoz,James M. Dale

In the tradition of Scott Turow’s One L and Atul Gawande’s Better comes a real-time, real-life chronicle from an impassioned young doctor on the front lines of high-stakes cardiology. It takes drive, persistence, and plenty of stamina to practice cardiology at the highest level. The competition for training fellowship spots is intense. Hundreds of applicants from all over the world compete to be accepted into the Cardiovascular Disease Training Fellowship at Johns Hopkins. Only nine are chosen each year. This is the story of one of those fellows. In Alpha Docs, Daniel Muñoz, M.D., recounts his transformation from wide-eyed young medical student to caring, empathetic professional—providing a rare inside look into the day-to-day operations of one of the world’s most prestigious medical institutions. The training is arduous and often unforgiving, as Muñoz and his colleagues are schooled by a staff of brilliant and demanding physicians. How they learn the art and science of untangling cardiac mysteries, how they live up to the standards of an iconic institution, how they survive the pressures and relentlessly push themselves to reach the top ranks of American medicine, supplies the beating heart of this gripping narrative. Readers accompany Muñoz as he interacts with his mentors, diagnoses and treats patients, counsels worried family members, and struggles to stay awake for days and nights on end. Lives are saved—and sometimes lost. But the rewards are immediate and the incentives powerful. As Muñoz confides after helping to rescue one man from the throes of a heart attack: “I knew where I wanted to be: not watching but doing, on the side of the glass where I can help shape a patient’s fate. I would be a cardiologist.” A unique yet universal story about striving to be the best in a high-risk, high-impact field, Alpha Docs provides fresh perspective on the state of America’s healthcare system as it captures all the fulfillment and frustrations of life as a doctor in the twenty-first century. Praise for Alpha Docs “From the book’s beginning, Dr. Daniel Muñoz captivates readers with [the] life-changing story that decided his future. . . . Thoroughly allows readers to understand how cardiologists are made. Highly recommended.”—Medical Library Association “In simple, compelling prose, Alpha Docs captures the reader’s attention with gripping case histories, the astonishing breadth and complexity of top-notch medical training, and often wry, sometimes pointed character sketches of the attending physicians.”—Hopkins Medicine magazine “An insider’s view of the high-stakes world of cardiology, Alpha Docs offers a vivid and fast-paced exploration of the cauldron that creates doctors in the twenty-first century.”—Danielle Ofri, M.D., Ph.D., author of What Doctors Feel “[A] heartfelt medical-education memoir . . . a successful portrayal of just how hard it is, intellectually, emotionally, and physically, to train as a physician specialist.”—Booklist “This engaging book will interest those considering a career in medicine as well as readers who want to learn more about cardiology.”—Library Journal “Muñoz begins to find his niche in the medical world, and his journey will inspire doctors in training and patients alike.”—Publishers Weekly “[A] satisfying immersion into what medical specialization requires . . . There is polish to the patient vignettes, giving them deeply human appeal.”—Kirkus Reviews

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

203

Publisher

Random House

Published Date

ISBN 10

1588369536

ISBN 13

9781588369536

Quality-Driven SystemC Design

By: Daniel Große,Rolf Drechsler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Quality-Driven SystemC Design

By: Daniel Große,Rolf Drechsler

A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

182

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9048136318

ISBN 13

9789048136315

Correct Hardware Design and Verification Methods

12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings

By: Daniel Geist,Enrico Tronci

Write a review Read reviews Take a Quiz Solve Book Puzzle

Correct Hardware Design and Verification Methods

12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings

By: Daniel Geist,Enrico Tronci

This book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L'Aquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

439

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354020363X

ISBN 13

9783540203636

Irrational Security

The Politics of Defense from Reagan to Obama

By: Daniel Wirls

Write a review Read reviews Take a Quiz Solve Book Puzzle

Irrational Security

The Politics of Defense from Reagan to Obama

By: Daniel Wirls

Irrational security -- After the Cold War : from buildup to bottom-up -- What comes down must go up : Clinton and the politics of military spending -- From ambition to empire : Bush and military policy before and after 9/11 -- Hidden in plain sight : the Bush military buildup -- Paying the price : from Bush to Obama.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

254

Publisher

JHU Press

Published Date

ISBN 10

0801894387

ISBN 13

9780801894381

Network Performance Baselining

By: Daniel J. Nassar

Write a review Read reviews Take a Quiz Solve Book Puzzle

Network Performance Baselining

By: Daniel J. Nassar

Measure, rate, and improve network performance with techniques from an expert. With years of practical experience, Nassar is an authority on network performance baselining. In this revolutionary book, he includes approaches for standard baseline methodologies along with actual steps and processes to perform network baseline measurements.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

744

Publisher

Sams Publishing

Published Date

ISBN 10

1578702402

ISBN 13

9781578702404

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

423

Publisher

MIT Press

Published Date

ISBN 10

0262038838

ISBN 13

9780262038836

Decision Procedures

An Algorithmic Point of View

By: Daniel Kroening,Ofer Strichman

Write a review Read reviews Take a Quiz Solve Book Puzzle

Decision Procedures

An Algorithmic Point of View

By: Daniel Kroening,Ofer Strichman

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

369

Publisher

Springer

Published Date

ISBN 10

3662504979

ISBN 13

9783662504970

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

423

Publisher

MIT Press

Published Date

ISBN 10

0262349450

ISBN 13

9780262349451

Book's by Daniel Kroening

Model Checking, second edition

Model Checking, second edition

Decision Procedures

Decision Procedures

Enhanced Virtual Prototyping

Enhanced Virtual Prototyping

The Inhibitor Index

The Inhibitor Index

Alpha Docs

Alpha Docs

Quality-Driven SystemC Design

Quality-Driven SystemC Design

Correct Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods

Irrational Security

Irrational Security

Network Performance Baselining

Network Performance Baselining

Model Checking, second edition

Model Checking, second edition

Decision Procedures

Decision Procedures

Model Checking, second edition

Model Checking, second edition

Username

Password

Username

Password

Password again

Birthday

Email