2 search results for "tag:"monitoring""

Showing 1 - 2
  1. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  2. stramon-lib
    Documentation
    Process behavior monitoring library based on strace
    strace process monitoring
    Darren Ldl
    0.3.0
    MIT
    Used by 0 other packages
    24 Jan 2023