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…