Sebastian Thrun is a big, deep—and above all else—human-focused thinker. This might sound strange given his contributions to ...

finite-state models that are amenable to verification for example via model checking. We illustrate the application of Bandera's abstraction facilities to analyze a realistic multi-threaded Java ...