#formal verification
FormalOS VP Creator
formalos
Author and track LUBIS EDA formal verification plans — goals, requirements, tasks, milestones and comments — without leaving VS Code.
Other
#keybindings
6
UCLID5 Language: Syntax Highlighting
mar
Syntax highlighting and snippets for the UCLID5 modeling and verification language.
Programming Languages
#snippet
5
AutoSOUP
ampaschal
Generate AutoSOUP unit proofs from VS Code.
Testing
AI
#c
1