Simulations are a popular way to show data refinement. Simulations that have been proposed are either state-level, relating concrete to abstract states in a ...

Abstract. Simulations are a popular way to show data refinement. Simulations that have been proposed are either state-level, relating.

State-level and value-level simulations in data refinement. Authors: William Leal. William Leal. View Profile. , Anish Arora. Anish Arora.

This paper investigates data refinement by forward simulation for specifications whose semantics is given by partial relations. The most well-known example ...

Initial/final state behaviour of S1 and S2 in terms of value-transformations of x, y are global w.r.t. S1 and S2: x and y are called normal variables. In ...

Abstract. We present a method for proving data refinement in the presence of low-level pointer operations, such as memory allocation and.

Lower-level refinement of fast detector simulations, at the level of simulated energy deposits or detector hits, has also been demonstrated [14, 15]. We ...

Optimizing the level of detail of a simulation involves avoiding the computation of un- necessary features, if doing so is transparent to one or more ...

Simulations are a popular way to show data refinement. Simulations that have been proposed are either state level, relating concrete to abstract states in a ...

[2021] (VI-RL) apply value-based sub-goal planning in a discrete (grid-like) high-level abstraction of selected components of the con- tinuous state space.