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“ written by Tim Gonschorek and Frank Ortmeier was accepted for the „5th International Workshop on Dependable Controle of Discrete Systems“ (DCDS 2015) in Cancun.

Paper Slice or Unfold – Experiments on Checking Synchronous Models with Backward Slicing