Add to ORKGThis paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The fragment of Erlang accepted by Soter includes the higher-order functional constructs and all the key features of actor concurrency, namely, dynamic spawning of processes and asynchronous message passing. Soter uses a combination of static analysis and infinite-state model checking to verify safety properties specified by the user. Given an Erlang module and a set of properties, S
This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in...
Abstract. The L monitoring tool has been successfully applied to a number of industrial Java system...
Abstract—We present the techniques used in Concuerror, a systematic testing tool able to find and re...
This paper presents an approach to verify safety properties of Erlang-style, higher-order concurrent...
In this dissertation, we study the verification of concurrent programs written in the programming la...
ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault...
We argue that runtime verification, in the guise of monitor-oriented programming, is a natural way h...
This chapter discusses detectEr, an experimental runtime monitoring tool that can be used to formal...
We present a model checker for verifying distributed programs writtenin the Erlang programming langu...
This dissertation is concerned with the development of fully-automatic methods of verification, for...
We argue that runtime verification, in the guise of monitor-oriented programming, is a natural way h...
International audienceProgramming languages based on the actor model, such as Erlang, avoid some con...
Abstract. We study the correctness of automated synthesis for concurrent mon-itors. We adapt HML, a ...
Programming languages based on the actor model, such as Erlang, avoid some concurrency bugs by desig...
This paper discusses extensions to the functional language Erlang which provide a secure execution e...
This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in...
Abstract. The L monitoring tool has been successfully applied to a number of industrial Java system...
Abstract—We present the techniques used in Concuerror, a systematic testing tool able to find and re...
This paper presents an approach to verify safety properties of Erlang-style, higher-order concurrent...
In this dissertation, we study the verification of concurrent programs written in the programming la...
ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault...
We argue that runtime verification, in the guise of monitor-oriented programming, is a natural way h...
This chapter discusses detectEr, an experimental runtime monitoring tool that can be used to formal...
We present a model checker for verifying distributed programs writtenin the Erlang programming langu...
This dissertation is concerned with the development of fully-automatic methods of verification, for...
We argue that runtime verification, in the guise of monitor-oriented programming, is a natural way h...
International audienceProgramming languages based on the actor model, such as Erlang, avoid some con...
Abstract. We study the correctness of automated synthesis for concurrent mon-itors. We adapt HML, a ...
Programming languages based on the actor model, such as Erlang, avoid some concurrency bugs by desig...
This paper discusses extensions to the functional language Erlang which provide a secure execution e...
This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in...
Abstract. The L monitoring tool has been successfully applied to a number of industrial Java system...
Abstract—We present the techniques used in Concuerror, a systematic testing tool able to find and re...