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