Title: Logic of Software. a Tasting Menu of Formal Methods