Software Safety Verification Framework based on Predicate Abstraction.

Haowei Liang Chunyan Hou Jinsong Wang Chen Chen

Published in: COMPSAC (2021)

Keyphrases

main contribution
software systems
software architecture
software development
theoretical framework
software components
data sets
neural network
source code
conceptual framework
formal methods
hardware designs