GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.
GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.
GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.
GenPark AI Agent Skill - Loop invariant inductiveness and total correctness prover verifying initialization, preservation, and postcondition implication.
GenPark AI Agent Skill - Concolic testing and symbolic branch inversion engine recording concrete-symbolic execution paths and targeting unvisited code branches.
GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.
GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.
GenPark AI Agent Skill - Loop invariant inductiveness and total correctness prover verifying initialization, preservation, and postcondition implication.
GenPark AI Agent Skill - Concolic testing and symbolic branch inversion engine recording concrete-symbolic execution paths and targeting unvisited code branches.
GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.
Hoare Logic weakest precondition (WP) calculus engine computing verification conditions for imperative program correctness.
Hoare Logic weakest precondition (WP) calculus engine computing verification conditions for imperative program correctness.
Software testing, analysis, and verification coursework: JUnit 5, MC/DC coverage, AST static analysis, and Dafny formal verification
To associate your repository with the weakest-precondition topic, visit your repo's landing page and select "manage topics."