Semi-Automated Verification of Erlang Code.

Lars-Åke Fredlund Dilian Gurov Thomas Noll

Published in: ASE (2001)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
source code
temporal logic
graph theory
code generation
database
data sets
distributed systems
probabilistic reasoning
static analysis
queueing systems
java programs