HOL4P4: Mechanized Small-Step Semantics for P4.

Anoud Alshnakat Didrik Lundberg Roberto Guanciale Mads Dam

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

higher order logic
artificial intelligence
formal semantics
case study
small number
post processing
neural network
semantic information
preprocessing step
database
information retrieval
genetic algorithm
domain knowledge
formal methods
operational semantics
natural deduction