Simulating Reactive Systems by Deduction

@article{Feldman1993SimulatingRS,
  title={Simulating Reactive Systems by Deduction},
  author={Yishai A. Feldman and Haim Schneider},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={1993},
  volume={2},
  pages={128-175}
}
Debugging is one of the main uses of simulation. Localizing bugs or finding the reasons for unclear behavior involves going backwards in time, whereas simulation goes forward in time. Therefore, identifying causes with the aid of most existing simulation tools usually requires repeating the simulation several times, each time with reduced holes in the sieve. An alternative is simulation by deduction, a technique in which the steps in the dynamic behavior of the simulated model are deduced by a… CONTINUE READING