Reactive EFSMs - Reactive Promela/RSPIN

  • Authors:

  • Elie Najm;Frank Olsen

  • Affiliations:

  • -;-

  • Venue:
  • TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
  • Year:
  • 1996

  • The Model Checker SPIN

    IEEE Transactions on Software Engineering - Special issue on formal methods in software practice

Quantified Score

Hi-index 0.00

Visualization

Abstract