Towards Erlang Verification by Term Rewriting.

Published in: LOPSTR (2013)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
model checking
signature verification
formal verification
artificial intelligence
first order logic
inference rules
face verification
measurement data
verification method