Login / Signup
Mechanising and verifying the WebAssembly specification.
Conrad Watt
Published in:
CPP (2018)
Keyphrases
</>
high level
model checking
formal specification
specification language
three dimensional
conceptual model
data sets
neural network
data mining
machine learning
learning algorithm
relational databases
user defined
formal verification