skill
職業分類
description
updated
tools-creusot-coq-install
ソフトウェア開発者
Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge
2026-06-03
tools-creusot-install
ソフトウェア開発者
Install the Creusot Rust verification tool
2026-06-03
tools-spin-sync
ソフトウェア開発者
Synchronize Spin/Promela models with current source code and re-verify
2026-06-01
tools-creusot-init
ソフトウェア開発者
Prepare an existing Cargo project to use Creusot formal verification
2026-06-01
tools-spin-model
ソフトウェア開発者
Create a new Spin/Promela formal verification model for a system property
2026-06-01
profile-performance-certus-api-bench
ソフトウェア開発者
Measure system performance of this platform using
2026-05-28
component-new-version
ソフトウェア開発者
Create a new version of a component
2026-05-21
component-remove
ソフトウェア開発者
Remove a component from the code base.
2026-05-21
Showing top 8 of 26 collected skills in this repository.