2 search results for "author:"Alain Mebsout""

Showing 1 - 2
  1. SMT based model checker for parameterized systems
    1.2.0
    Apache-2.0
    Used by 0 other packages
    02 Nov 2022
  2. 2.1.0
    LGPL-2.1-only
    Used by 2 other packages
    09 Jul 2024