conda-forge / packages / boogie 3.5.5

• 0

Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages.

• Conda
• Files
• Labels
• Badges