Login / Signup
Verification of dynamic bisimulation theorems in Coq.
Raul Fervari
Francisco Trucco
Beta Ziliani
Published in:
J. Log. Algebraic Methods Program. (2021)
Keyphrases
</>
formal methods
databases
artificial intelligence
computer vision
neural network
learning algorithm
multiscale
scheduling problem
distributed systems
model checking
dynamically changing