Historia: Refuting Callback Reachability with Message-History Logics (Extended Version).

Shawn Meier Sergio Mover Gowtham Kaki Bor-Yuh Evan Chang

Published in: CoRR (2023)

Keyphrases

expressive power
inference rules
neural network
machine learning
artificial intelligence
classical logic
transitive closure
modal logic
email
state space
truth values
real time
multi agent
database systems
case study
decision trees
information retrieval