Paper: Slice or Unfold – Experiments on Checking Synchronous Models with Backward Slicing
Our paper "Slice or Unfold - Experiments on Checking Synchronous Models with Backward Slicing" by Tim Gonschorek and Frank Ortmeier was accepted for the "5th International Workshop on Dependable Controle of Discrete Systems" (DCDS 2015) in Cancun.