Hocine El-Habib Daho

  • Citations Per Year
Learn More
Abstract State Machines(ASMs) constitute the basis of an alternative approach to mathematical modelling of discrete dynamic systems. The ASM approach provides an expressive means to specify the operational behavior of a system, but it does not come equipped with a(fixed) logical proof system. Several formal techniques of verifying correctness of ASM designs(More)
  • 1