Microsoft Research Boogie

  •        62

Boogie is a program verification system that produces verification conditions for programs written in an intermediate language (also named Boogie). The intermediate language is easy to target from source languages such as Spec#, C#, or even C.

http://boogie.codeplex.com/

Tags
Implementation
License
Platform

   




Related Projects

boogie - Boogie MPD Client


Boogie MPD Client

boogie - Linux tablet driver for Improv "Boogie board RIP"


Linux tablet driver for Improv "Boogie board RIP"

boogie-jni - boogie tools jni + hivesight


boogie tools jni + hivesight

Bytecode Translator: A translator from .NET bytecode to Boogie


Bytecode Translator is a translator from .NET bytecode to Boogie.

BoogieCart - Boogie Cart simple php session-driven shopping cart


Boogie Cart simple php session-driven shopping cart



vbwga - Entry for Victory Boogie Woogie Competition


Entry for Victory Boogie Woogie Competition

buggy - dance the boogie


dance the boogie

rubyboard - Ruby script for reading Boogie Board Rip events on linux


Ruby script for reading Boogie Board Rip events on linux

jml4disco - Java Modelling Language 4 Disco: Adds distribution and Boogie support to JML4


Java Modelling Language 4 Disco: Adds distribution and Boogie support to JML4

booger - Verifies Ruby programs using Boogie


Verifies Ruby programs using Boogie

ft_boogie - An iPhone App that grabs the Podcast for Freight Train Boogie.


An iPhone App that grabs the Podcast for Freight Train Boogie.

Spec#


Spec# ("speck-sharp") is an object-oriented .NET programming language with design-by-contract features for method pre- and postconditions and object invariants and also a non-null type system.

VCC


VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct.

Icarus Verilog Test Suite


Provides a GPL'd test suite for verification of the verilog language. This project is affiliated with the Icarus Verilog compiler effort at icarus.com, and test reports are collected from that project.

Fingerprint Verification System


Project FreeFinger aims to design and implement a set of free and open-source kernel algorithms for automated fingerprint verification and develop a demo fingerprint verification software with nice graphics interface.

ISP.NET


ISP.NET is a code level verification tool for MPI programs. It includes a Visual Studio 2010 extension that allows for push button verification of user programs that are written in C, C++ and C#. ISP checks for deadlocks, assertion violations, and other MPI program issues.

verification - Data verification module for Node.js


Data verification module for Node.js

twilio-sms-verification - A sample Rails application for Twilio SMS verification.


A sample Rails application for Twilio SMS verification.

Verification - Hardware Verification Course


Hardware Verification Course