Skip to content
#

program-verification

Star

Here are 2 public repositories matching this topic...

Language: JavaScript
Filter by language
All 41 OCaml 5 Python 5 Java 4 C++ 3 Fortran 3 Rocq Prover 2 Haskell 2 JavaScript 2 Rust 2 Scala 2

ioncakephper / contract-shield-cli

Star 0

A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).

static-analysis developer-tools software-engineering formal-methods program-verification automated-testing debugging-tools secure-coding design-by-contract runtime-verification source-code-analysis cli-tool runtime-analysis code-instrumentation source-code-modification programming-language-tools contracts-validation preconditions-postconditions invariants-checking verification-framework
  • Updated Jun 14, 2025
  • JavaScript

Improve this page

Add a description, image, and links to the program-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the program-verification topic, visit your repo's landing page and select "manage topics."

Learn more