Ura's theory of multiple feature-checking develops the basic idea in original and highly productive ways, providing persuasive answers to difficult questions th

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the

Checking is a very common concept for describing a subject’s epistemic goals and actions. Surprisingly, there has been no philosophical attention paid to the

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July

Who fact-checks the fact-checkers? An industry that started in the 1990s by fact-checking chain emails and Bigfoot sightings has evolved over the past decade in