1 search result for "tag:"MetACSL""

Showing 1 - 1
  1. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    22 Nov 2023