Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.
Rohit DurejaJason BaumgartnerAlexander IvriiRobert KanzelmanKristin Y. RozierPublished in: FMCAD (2019)
Keyphrases
- desirable properties
- machine learning
- semantic network
- semantic properties
- structural features
- graph partitioning
- semantic analysis
- ensemble learning
- structural information
- semantic web
- feature selection
- high level
- decision trees
- semantic information
- loss function
- ensemble methods
- domain specific
- graph model
- semantic features
- learning algorithm
- semantic representation
- information retrieval