Symbolic program execution using the Erlang verification tool.

Clara Benac Earle

Published in: WFLP (2000)

Keyphrases

program execution
multi processor
software tools
artificial intelligence
model checking
expert systems