Detecting Architectural Erosion using Runtime Verification.

Diego Marmsoler Ana Petrovska

Published in: ICE (2019)

Keyphrases

mathematical morphology
model checking
binary images
databases
data sets
software architecture
expert systems
distributed systems
multi agent systems
computer vision
artificial intelligence
real time
automatic detection
morphological operators
formal analysis
asynchronous circuits
verification method