16 citations · 47 across the 13 of their papers we have counts for
5 papers · 1 filter
Equational and Inductive Reasoning for Maude in Athena
Mateo Sanabria, Carlos Varela, Camilo Rocha +1
In the rewriting logic framework, equational-based specifications are used to define deterministic functional behavior, abstract data types, and canonical representations of data.…
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B
Carlos Olarte, Camilo Rocha, Daniel Osorio
Probabilistic specifications are fast gaining ground as a tool for statistical modeling of probabilistic systems. One of the main goals of formal methods in this domain is to ensur…
Verification of the IBOS Browser Security Properties in Reachability Logic
Stephen Skeirik, José Meseguer, Camilo Rocha
This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP)…
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification
Miguel Romero, Sergio Ramírez, Camilo Rocha +1
This paper addresses the issue of specifying, simulating, and verifying reactive systems in rewriting logic. It presents an executable semantics for probabilistic, timed, and spati…
Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion
Miguel Romero, Camilo Rocha
Spatial concurrent constraint programming (SCCP) is an algebraic model of spatial modalities in constrained-based process calculi; it can be used to reason about spatial informatio…