[erlang-questions] [ANN] PhD Thesis: Verification of Distributed Erlang Programs...

Hans Svensson <>
Fri Apr 4 11:16:44 CEST 2008


I have recently managed to finish my PhD thesis 'Verification of 
Distributed Erlang Programs using Testing, Model Checking and Theorem 
Proving'. The thesis is available in pdf-format:


If you have any comments or questions, please feel free to send me an email.

Have a nice day!



Hans Svensson                   
Computer Science and Engineering,
Chalmers University of Technology, Gothenburg, Sweden

More information about the erlang-questions mailing list