2 search results for "tag:"monitoring""

  1. frama-c-e-acsl
    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
    Last published 28 Jul 2015
  2. stramon-lib
    Process behavior monitoring library based on strace
    strace process monitoring
    Darren Ldl
    0.3.0
    MIT
    Used by 0 other packages
    Last published 24 Jan 2023