Add to ORKGWe argue that runtime verification, in the guise of monitor-oriented programming, is a natural way how to ensure cor-rectness in dynamically-typed, concurrent languages such as Erlang. Our proposal involves a methodology for marrying correctness runtime checking with the fail-fast approach in Erlang, exploiting the rich failure-handling mechanisms of the language. This allows us to smoothly integrate correct-ness analysis within existing language code practices. 1
International audienceThere is a large number of works that apply model checking to timed specificat...
Erlang is a functional programming language with support for concurrency and message passing communi...
This paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The f...
We argue that runtime verification, in the guise of monitor-oriented programming, is a natural way h...
In runtime verification, a monitor continuously checks the execution of a program that is running co...
This chapter discusses detectEr, an experimental runtime monitoring tool that can be used to formal...
Abstract This paper studies the correctness of automated synthesis for concurrent monitors. We adapt...
Abstract. We study the correctness of automated synthesis for concurrent mon-itors. We adapt HML, a ...
Abstract. The L monitoring tool has been successfully applied to a number of industrial Java system...
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of co...
Monitor correctness is a prerequisite for the adoption of runtime verification as a lightweight form...
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of co...
Software infiltrates every aspect of modern society. Production, transportation, entertainment, and ...
Erlang is a functional programming language with support for concurrency and message passing communi...
This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in...
International audienceThere is a large number of works that apply model checking to timed specificat...
Erlang is a functional programming language with support for concurrency and message passing communi...
This paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The f...
We argue that runtime verification, in the guise of monitor-oriented programming, is a natural way h...
In runtime verification, a monitor continuously checks the execution of a program that is running co...
This chapter discusses detectEr, an experimental runtime monitoring tool that can be used to formal...
Abstract This paper studies the correctness of automated synthesis for concurrent monitors. We adapt...
Abstract. We study the correctness of automated synthesis for concurrent mon-itors. We adapt HML, a ...
Abstract. The L monitoring tool has been successfully applied to a number of industrial Java system...
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of co...
Monitor correctness is a prerequisite for the adoption of runtime verification as a lightweight form...
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of co...
Software infiltrates every aspect of modern society. Production, transportation, entertainment, and ...
Erlang is a functional programming language with support for concurrency and message passing communi...
This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in...
International audienceThere is a large number of works that apply model checking to timed specificat...
Erlang is a functional programming language with support for concurrency and message passing communi...
This paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The f...