boogie-org/bytecodetranslator boogie-org/bytecodetranslator

  • Stars
    star
    5
  • Rank 2,777,005 (Top 57 %)
  • Language
    C#
  • License
    Microsoft Public ...
  • Created over 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
boogie-org/bytecodetranslator
github

boogie-org

Reviews

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

Repository Details

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

boogieamp

Java parser for the Boogie intermediate verification language
Java
10
star
10

boogie-docs

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

coco

The compiler generator Coco/R
C#
6
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