PICK: LTL Builder
SiddharthaPrasad
Generate candidate LTL formulas from an LLM, then refine them by classifying distinguishing traces.
Other
#keybindings
6
Cope and Drag for Alloy
SiddharthaPrasad
Pairs the Alloy Analyzer with the Cope and Drag visualizer in a VS Code webview.
Programming Languages
Visualization
#formal methods
5