Verifying a Distributed Database Lookup Manager Written in Erlang

@inproceedings{Arts1999VerifyingAD,
  title={Verifying a Distributed Database Lookup Manager Written in Erlang},
  author={Thomas Arts and Mads Dam},
  booktitle={World Congress on Formal Methods},
  year={1999}
}
We describe a case-study in which formal methods were used to verify an important responsiveness property of a distributed database system which is used heavily at Ericsson in a number of recent products. One of the aims of the project was to verify the actual running code which is written in the distributed functional language Erlang. In a joint project between SICS and Ericsson we have over the past few years been developing a tableau-based verification tool for Erlang of considerable scope… CONTINUE READING
BETA

Similar Papers

Loading similar papers…