Jan 15, 2013: Prof. Shmuel Katz: Usable Formal Methods for Aspects and Event Detectors

January 15, 2013Usable Formal Methods for Aspects and Event Detectors
Room: Zi 5126Prof. Shmuel Katz
12:30-13:30

The challenge of making formal methods practically usable is addressed through a review of my work on specification and verification for aspects and event detectors. Diverse techniques based on formal semantics, assume-guarantee reasoning, model checking, interference detection and dataflow are used to verify libraries of reusable program modules. Using formal methods to aid in developing precise specifications is also considered.