Runtime Verification in Erlang by Using Contracts.

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

Published in: WFLP (2018)

Keyphrases

supply chain
face verification
formal verification
model checking
fingerprint verification
database
data sets
genetic algorithm
artificial neural networks
distributed systems
formal analysis
signature verification
high security
concurrent systems