Hocine El-Habib Daho

Learn More
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 based on(More)
State Machines (ASMs, for short) provide a practical new computational model which has been applied in the area of software engineering for systems design and analysis. However, reasoning about ASM models occurs, not within a formal deductive system, but basically in the classical informal proofs style of mathematics. Several formal verification approaches(More)
  • 1