Class: _Correctness

•owl:Thing
        •NaryRelation
                •HasGoal
                        •_Correctness

Equivalent Classes (Necessary and Sufficient Conditions)

hasGoal HAS Correctness
HasGoal

Abstract Syntax

Class(_Correctness complete restriction(hasGoal value(Correctness))
                           HasGoal)

Usage

Class Description/Definition (Necessary Conditions)

_Correctness, DNSServerCompromising, DNSSpoofing, Replay, SourceCodeAnalysis, VulnerabilityScanner
Generated with OWLDoc