boogie-org/boogieamp boogie-org/boogieamp

  • Stars
    star
    10
  • Rank 1,752,777 (Top 36 %)
  • Language
    Java
  • Created almost 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
boogie-org/boogieamp
github

boogie-org

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Java parser for the Boogie intermediate verification language

More Repositories

1

boogie

Boogie
Boogie
485
star
2

corral

solver for the reachability modulo theories problem
Boogie
54
star
3

boogie-friends

Tools for interacting with Boogie
Emacs Lisp
43
star
4

symbooglix

Symbolic Execution Engine for Boogie
C#
27
star
5

symdiff

SymDiff-Differential-Program-Verifier
C
27
star
6

forro

A sample verifier for a toy language built on top of Boogie
F#
19
star
7

sdvbench

Microsoft Static Driver Verifier Benchmarks
C#
13
star
8

jar2bpl

Translate java jar files into Boogie programs
Java
11
star
9

boogie-docs

Documentation for the Boogie IVL and related technologies
Python
7
star
10

coco

The compiler generator Coco/R
C#
6
star
11

bytecodetranslator

C#
5
star
12

BoogieV

A verified intermediate verification language
Dafny
2
star
13

boogie-partners

Repository containing the old boogie-partners repo
C#
2
star
14

boogie-vscode

VS Code Extension for Boogie
TypeScript
1
star
15

verisol

A formal verifier and analysis engine for Solidity Smart Contracts
1
star