Verifying QUIC implementations using Ivy.

Christophe Crochet Tom Rousseaux Maxime Piraux Jean-François Sambon Axel Legay

Published in: EPIQ@CoNEXT (2021)

Keyphrases

model checking
artificial intelligence
case study
information retrieval
reinforcement learning
general purpose
databases
information systems
decision making
object recognition