2 search results for "author:"Nikolai Kosmatov""

Showing 1 - 2
  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.8~beta
    LGPL-2.1-only
    Used by 0 other packages
    18 Nov 2024
  2. lreplay
    Documentation
    Executes a test suite and computes test coverage
    Mickaël Delahaye Omar Chebaro Nikolai Kosmatov Sébastien Bardin Michaël Marcozzi et al.
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024