Results (2)

  • Causality-based model checking
    Conference paper
  • Array folds logic
    Conference paper