| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422648 | Electronic Notes in Theoretical Computer Science | 2011 | 18 Pages |
Abstract
In this paper we present a work in progress on the formal verification of a process supervisor using the McErlang model checker. The process supervisor is an alternative implementation of the standard supervisor behaviour of Erlang/OTP. This implementation, currently employed at the company LambdaStream, was checked against several safety and liveness properties.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
