10 search results for "tag:"formal specification""

Showing 1 - 10
  1. 0.9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    21 May 2024
  2. 30.0~beta
    LGPL-2.1-only
    Used by 4 other packages
    12 Nov 2024
  3. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  4. 0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  5. 0.8~beta
    LGPL-2.1-only
    Used by 0 other packages
    18 Nov 2024
  6. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    0.0.17~beta
    LGPL-2.1-only
    Used by 0 other packages
    26 Nov 2024
  7. 1.7.2
    LGPL-2.1-only
    Used by 9 other packages
    22 Apr 2024
  8. why3-base

    No documentation

    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  9. 1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  10. 1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024