Alternatives and similar repositories for perun

Users that are interested in perun are comparing it to the libraries listed below

• rpminspect / rpminspect
  RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools
  ☆59Updated 2 weeks ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆264Updated last week
• goblint / analyzer
  Static analysis framework for C
  ☆200Updated this week
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆421Updated this week
• t184256 / fingertip
  Control VMs, containers and other machines with Python, leverage live snapshots
  ☆23Updated this week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆415Updated 7 months ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆671Updated 2 weeks ago
• intel / gprofiler-performance-studio
  The local version of the backend and UI for the gProfiler agent, featuring advanced flamegraph analysis tools.
  ☆181Updated 2 weeks ago
• binpash / pash
  PaSh: Light-touch Data-Parallel Shell Processing
  ☆576Updated 2 weeks ago
• composefs / composefs
  The reliability of disk images, the flexibility of files
  ☆544Updated last month
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• SUSE / clang-extract
  A tool to extract code content from source files using the clang and LLVM infrastructure.
  ☆22Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆153Updated 3 months ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 9 months ago
• cregit / cregit
  ☆142Updated 2 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆88Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆122Updated this week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆76Updated this week
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆60Updated 3 weeks ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆87Updated last week
• synarete / silofs
  The Silo File System
  ☆9Updated 3 weeks ago
• rolandobrondolin / DEEP-mon
  an eBPF-based monitoring tool to measure container resource usage, power consumption, network I/O, and file I/O
  ☆46Updated 4 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆23Updated this week
• arighi / virtme-ng
  Quickly build and run kernels inside a virtualized snapshot of your live system
  ☆590Updated last week
• intel / processwatch
  ☆143Updated last month
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆358Updated this week
• linux-kdevops / kdevops-history
  kdevops history tree - use new git tree
  ☆46Updated last year
• eclipse-bluechi / bluechi
  Eclipse BlueChi is a systemd service controller intended for multi-node environments with a predefined number of nodes and with a focus o…
  ☆139Updated last week
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆58Updated last week