Assumption-based Runtime Verification.

Alessandro Cimatti Chun Tian Stefano Tonetta

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

model checking
formal verification
multi agent systems
asynchronous circuits
signature verification
database
real time
search engine
computer vision
knowledge base
high security