Assumption-Based Runtime Verification of Infinite-State Systems.

Alessandro Cimatti Chun Tian Stefano Tonetta

Published in: RV (2021)

Keyphrases

knowledge based systems
formal methods
artificial intelligence
case study
distributed systems
model checking
data sets
data mining
digital libraries
management system
asynchronous circuits