Symdiff

SymDiff-Differential-Program-Verifier

Generate Convert Improve

Install / Use

/learn @boogie-org/Symdiff

About this skill

Quality Score

0/100

README

SymDiff

SymDiff is a differential or relational program verifier for a pair of Boogie programs, with applications on regression verification, compiler translation validation and hyper-safety verification. More information can be found at SymDiff webpage

Instructions to get started: Documentation

Related Skills

node-connect

338.0k

Diagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps

frontend-design

83.4k

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.

openai-whisper-api

338.0k

Transcribe audio via OpenAI Audio Transcriptions API (Whisper).

commit-push-pr

83.4k

Commit, push, and open a PR