The ACM Computing Classification System (CCS)
Toggle navigation
Home
Advanced search
About...
My account
Automated static analysis
Home
Software and its engineering
Software organization and properties
Software functional properties
Formal methods
Automated static analysis
Term
Metadata
Automated static analysis
Alternative terms
UF
↸
static verification
Broader Terms
BT
↑
Formal methods
Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3j17zjmdgzoln
More specific terms
0
Alternative terms
1
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search