Verification of Erlang programs using abstract interpretation and model checking

@inproceedings{Huch1999VerificationOE,
  title={Verification of Erlang programs using abstract interpretation and model checking},
  author={Frank Huch},
  booktitle={ICFP},
  year={1999}
}

• Frank Huch
• Published 1999 in ICFP
• DOI:10.1145/317636.317908

We present an approach for the verification of Erlang programs using abstract interpretation and model checking. In general model checking for temporal logics like LTL and Erlang programs is undecidable. Therefore we define a frame-work for abstract interpretations for a core fragment of Erlang. In this framework it is guaranteed, that the abstract… CONTINUE READING

Save

Watch Paper

Cite

View on ACM