Microsoft Research Boogie

  •        0

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.



comments powered by Disqus

Related Projects

Bacula - The Network Backup Solution

Bacula is a set of Open Source, computer programs that permit you (or the system administrator) to manage backup, recovery, and verification of computer data across a network of computers of different kinds. Bacula is relatively easy to use and efficient, while offering many advanced storage management features that make it easy to find and recover lost or damaged files. In technical terms, it is an Open Source, network based backup program.

Fix8 - FIX (Financial Information eXchange Protocol) Framework

A fresh approach to FIX (Financial Information eXchange Protocol). Statically compile your FIX xml schema and quickly build your FIX application on top. With low latency performance in mind, this framework is designed to streamline the development of custom FIX interfaces. Using one of the standard FIX schemas you can have a FIX client or server up and running very quickly.

GNU Classpath - Mother of most of the VM

GNU Classpath provides core class libraries for use with virtual machines and compilers for the java programming language. GNU Classpath 1.0 will be fully compatible with the 1.1 and 1.2 API specifications, in addition to having significant compatibility with the 1.3, 1.4, 1.5 and 1.6 APIs.

CodeLite - Cross Platform IDE for C/C++

CodeLite is an open source, free, cross platform IDE for the C/C++ programming languages which runs on all major Platforms. It has generic support for compilers with built-in support for GCC/clang/VC++, GDB Support, Refactoring, Code Navigation, Source Control Plugins, RAD Tool for wxWidgets, Code Completion and lot more.

Linux Desktop Testing Project

Linux Desktop Testing Project is aimed at producing high quality test automation framework (using GNOME / Python) and cutting-edge tools that can be used to test Linux Desktop and improve it. It uses the Accessibility libraries to poke through the application's user interface. We strive to help in building a quality desktop.

The PEP tool

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)


Valgrind is an award-winning instrumentation framework for building dynamic analysis tools. There are Valgrind tools that can automatically detect many memory management and threading bugs, and profile your programs in detail. You can also use Valgrind to build new tools.

lessphp - LESS compiler written in PHP

LESS compiler written in PHP

WiX Toolset - Windows Installer XML

The Windows Installer XML (WiX) is a toolset that builds Windows installation packages from XML source code. The toolset supports a command line environment that developers may integrate into their build processes to build MSI and MSM setup packages.

Nullsoft Scriptable Install System for Windows

Nullsoft Scriptable Install System (NSIS) is a professional open source system to create Windows installers. It is designed to be as small and flexible as possible and is therefore very suitable for internet distribution. NSIS is script-based and allows you to create the logic to handle even the most complex installation tasks. Many plug-ins and scripts are already available: you can create web installers, communicate with Windows and other software components.