On the non-termination of MDGs-based abstract state enumeration

  • Authors:

  • Otmane Aït-Mohamed;Xiaoyu Song;Eduard Cerny

  • Affiliations:

  • -;-;-

  • Venue:
  • Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract