Specialties: Model Checking, Automated Program Testing, Program Analysis, SAT, Formal Verification, Embedded Systems Learn more about Daniel Kroening's work experience, education, connections & more by visiting their profile on LinkedIn