Browsing by Author "Mr. Kadjouf Islem"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Validation and implementation of the transformation from Pomsets to LTS
    (2024) Mr. Kadjouf Islem
    This project focuses on the verification and validation of partially ordered multi-sets (Pomsets) in labelled transition systems (LTS). Fully implemented in Python, this transition process is meticulously executed using the tools and fundamentals of the language. The validation phase examines the fidelity and accuracy of the conversion, ensuring that the resulting LTS correctly represents the behavior of the original Pomsets. The verification of an algorithm’s correctness is crucial in software engineering, especially in embedded systems, where it is essential to ensure that the implementation meets the required specifications. For this purpose, we have used Pymodel. Pymodel is a powerful tool for modeling and verifying software systems. It allows for simulating models to detect logical errors and unexpected behaviors in real-time.