Tevfik Bultan : Research Summary I lead the Verification Laboratory at UCSB

Abstract

I lead the Verification Laboratory at UCSB. The research I conduct with my students focuses on automated verification techniques and their application to software. As computer systems become more pervasive in everyday life, their dependability becomes increasingly important. The size and the complexity of software systems nowadays inevitably lead to errors… (More)

Topics

  • Presentations referencing similar topics