Simulink Model Static Analysis Results based on Abstract Interpretation.

Yuting Yang Rui Wang Youchen Wang Xu Miao Bing Liu Shan Jiang

Published in: DSA (2022)

Keyphrases

static analysis
high level
management system
abstract interpretation
databases
metadata
database systems
matching algorithm
integrity constraints
bdi agents