Immerman, NRabinovich, AReps, TWSagiv, MYorsh, G2024-04-262024-04-262004-01-01https://hdl.handle.net/20.500.14394/10186Verification via structure simulationarticle