[sv-ac] vacuity defs

Hi all,

Last meeting I took an action item to collect some definitions of vacuity so that we can assess whether we should define vacuity in the LRM (in view of the lack of consensus on the right definition of vacuity in the vacuity community) and if we decide to define it, so that we have a better starting point. In the attached I discuss 4 definitions of vacuity that are applicable to linear timed logics such as SVA.

Best,
Dana

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.