posted on 2016-04-06, 08:45authored byR. Taylor, E. Tuosto, Neil Walkinshaw, J. Derrick
Abstract:
We report on the analysis of gen_server, a popular Erlang library to build client-server applications. Our analysis uses a tool based on choreographic models. We discuss how, once the library has been modelled in terms of communicating finite state machines, an automated analysis can be used to detect potential communication errors. The results of our analysis suggest how to properly use gen_server in order to guarantee the absence of communication errors.
History
Citation
Parallel, Distributed, and Network-Based Processing (PDP), 2016 24th Euromicro International Conference on
Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science
Source
2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 17-19th February 2016, Heraclion, Greece