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

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


Hi,

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:

http://www.cs.chalmers.se/~hanssv/doc/PhDThesis.pdf

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

Have a nice day!

/Hans

-- 

Hans Svensson                   
Computer Science and Engineering,
Chalmers University of Technology, Gothenburg, Sweden
http://www.cs.chalmers.se/~hanssv



More information about the erlang-questions mailing list