Runtime verification in Erlang by using contracts.

Lars-Åke Fredlund Julio Mariño Sergio Pérez Salvador Tamarit

Published in: CoRR (2018)

Keyphrases

supply chain
model checking
formal verification
neural network
artificial intelligence
decision making
machine learning
information retrieval
computer vision
formal analysis
social welfare
signature verification
test generation
java card