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