Sign in
P4K: A Formal Semantics of P4 and Applications.
Ali Kheradmand
Grigore Rosu
Published in:
CoRR (2018)
Keyphrases
</>
formal semantics
modeling language
operational semantics
logical language
er model
modelling language
logical reasoning
first order logic
theorem prover
speech acts
ontology languages
formal language
databases
probabilistic model
probability distribution