Architectural Runtime Verification.

Lars Stockmann Sven Laux Eric Bodden

Published in: ICSA Companion (2019)

Keyphrases

model checking
software architecture
formal verification
face verification
formal analysis
architectural design
concurrent systems
verification method
temporal logic
formal methods
false acceptance rate
image segmentation
asynchronous circuits
mobile robot
multi agent systems
face recognition
high level