|
Abstract
|
|
|---|---|
| We present a case-study in which a tool for model checking programs written in Erlang, McErlang, was used to verify a complex concurrent component. The component is an alternative implementation of the standard supervisor behaviour of Erlang/OTP. This implementation, in use at the company LambdaStream, was checked against several safety and liveness properties. In one case, McErlang found an error. | |
|
International
|
Si |
|
Congress
|
Trends in Functional Programming 2010 |
|
|
960 |
|
Place
|
Oklahoma, USA |
|
Reviewers
|
Si |
|
ISBN/ISSN
|
1571-0661 |
|
|
|
|
Start Date
|
17/05/2010 |
|
End Date
|
19/05/2010 |
|
From page
|
23 |
|
To page
|
40 |
|
|
Trends in Functional Programming 2010 |