Models for computer programs or VLSI logic designs can be very easily simulated, as they often have an operational semantics which can be used directly for simulation.
Models for software or digital circuit designs can be readily simulated, as they frequently possess a clear operational meaning that can be utilized directly for simulation.