A few of it's family members will even proof mathematically that they won't throw those objects away. https://www.commoncriteriaportal.org/iccc/9iccc/pdf/B2404

A few of it's family members will even proof mathematically that they won't throw those objects away. https://www.commoncriteriaportal.org/iccc/9iccc/pdf/B2404.pdf https://www.commoncriteriaportal.org/iccc/9iccc/pdf/B2404.pd... http://www.cs.nott.ac.uk/~pszgmh/appsem-slides/barthe.pdf http://www.cs.nott.ac.uk/~pszgmh/appsem-slides/barthe.pdf