> Skip to content
Penguin homepage
Books
Fiction
Action & adventure
Classics
Contemporary fiction
Crime & thrillers
Fantasy & science fiction
General & literary fiction
Graphic novels
Historical fiction
Romance
Short stories
View all fiction
Non-fiction
Art, music & photography
Biography & memoir
Business & finance
Computing & technology
Food & drink
Health & lifestyle
History
Politics & law
Society & culture
Travel
View all non-fiction
Ages
0 - 2
3 - 5
6 - 8
9 - 11
12 - 13
Young adult
View all ages
Popular links
New releases
Bestsellers
Coming soon
Our lists
Penguin Classics
Popular series
Young readers series
Audiobooks
Fresh Voices
Puffin
DK
Features
News
Extracts
Articles
Recipes
Q&A
Activities
Book clubs
Teachers' notes
View all features
Authors
Events
About
Contact Us
Work With Us
Social Impact
Share Your Story
More
Features
News
Extracts
Articles
Recipes
Q&A
Activities
Book clubs
Teachers' notes
Contact Us
Work With Us
Social Impact
Share Your Story
About
Contact Us
Work With Us
Social Impact
Share Your Story
Authors
Events
View cart
2
Search books and authors
DK
Daniel Kroening
Book for an event
Books by Daniel Kroening
Model Checking, second edition
Edmund M. Clarke, Jr.
,
Orna Grumberg
,
Daniel Kroening
,
Doron Peled
Read more
