CAV Skills

by @brycewang-stanford · plugin · 2 skills

Twelve CAV-specific skills for the International Conference on Computer Aided Verification and its Springer LNCS open-access proceedings, grounded in the CAV 2026 (FLoC, Lisbon) call, the LNCS proceedings, i-cav.org, and dblp.

Install the whole plugin (CLI)

npx skillmds add brycewang-stanford/cav-workflow
npx skillmds add brycewang-stanford/cav-submission

⬇ Download

Skills in this plugin

▌
cav-workflow · brycewang-stanford
Use when planning a CAV (Computer Aided Verification) project timeline from venue and category selection through submission, the two-stage review with early reject and rebuttal, artifact evaluation by the AEC, and the LNCS open-access camera-ready, with backward-planning offsets for a verification-tool paper and honest handling of the single-annual-deadline cycle.

1k
repo stars
▌
cav-submission · brycewang-stanford
Use when auditing a CAV (Computer Aided Verification) submission for portal readiness, covering the four submission categories (Regular / Short Tool / Short Application / Industrial Experience & Case Studies), the LNCS page limits, the per-category anonymization matrix, the artifact-intent declaration, and desk-reject triage before the AoE paper deadline.

1k
repo stars