Making mistakes and owning up to them can be difficult, but feeling truly absolved is much more difficult. In Checking Out: An In-Depth Look At Losing Your Mind, new author, Catherine Graves, does wha
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 verificati
Written by a team of two leading experts and two very successful young former PhD students, New Methods of Concurrent Checking describes new methods of concurrent checking, such as partial duplicatio
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap betwe
Clearly, all is not well with the health of Lake Erie. Checking the Pulse of Lake Erie is an important and excellent update and a useful benchmark in the Lake Erie historical record. Dr. Munawar and t
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009
Checking In consists of the major title poem (which takes up about half the book) and a series of other post-conceptual pieces that luxuriate in the physicality and materiality of language and meaning
Checking in at the Crowbar Hotel lets you check in without being arrested! The Crowbar Hotel, popular slang for juvenile jail, the slammer, is a cultural phenomenon characterized by the resourcefulnes
Theatres world-wide embrace Chekhov's handful of plays with a fervour second only to Shakespeare's. Whatever their native language or culture, audiences often see themselves in his Russian characters,
A virus is sweeping the country, and America's hospitals are no longer safe. Patients across the United States are checking into hospitals for routine procedures but never checking out. Join Dr. Isaac
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches t
