Communicating sequential processes
Communicating sequential processes
Design and validation of computer protocols
Design and validation of computer protocols
Communication and Concurrency
McErlang: a model checker for a distributed functional programming language
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Model Checking and Artificial Intelligence
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
ERLANG Programming
Model checking a video-on-demand server using McErlang
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Failover and takeover contingency mechanisms for network partition and node failure
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Verification of timed erlang programs using mcerlang
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Hi-index | 0.00 |
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.