no code implementations • 7 May 2021 • Antonio Cau, Stefan Kuhn, James Hoey
We will investigate the reversibility of executable ITL specifications, i. e., how one can use this reflection operator to reverse the concrete behaviour of a particular system.
