GitHub repository: DigitalDefenseCompany/formal-verification-runner
Primary language: TypeScript
Created: 2024-06-10T10:21:10Z
Description: A GitHub Action to execute formal verification tests using generated formal specifications, ensuring the correctness and reliability of your code.