1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer +1
The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the pr…
cs.SE2012★ 1 cited
ROSA Analyser: An automatized approach to analyse processes of ROSA
Raúl Pardo, Fernando L. Pelayo
In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process…