Hoare-logic

• Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm

  Asma Bezza, Rohallah Benaboud, Toufik-Messaoud Maarouk, Rabea Ameur-Boulifa

  2025｜ Vol. 21 (4) ｜ Open Call Articles｜ Pages: 404-413｜ PDF (2.19 MiB) ｜ 2025-10-20 ｜0 views｜ 0 CrossRef citations

  0

  Views

  0

  CrossRef citations