The BOOP Toolkit v.0.42

The BOOP Toolkit uses abstraction and refinement to determine the reachability of program points in a C program.

The BOOP Toolkit uses abstraction and ...

 
  • The BOOP Toolkit
  • 0.42
  • 14 Jun 12
  • boop
  • BSD; Linux
  • Freeware
  • 149 Kb
  • 190
  • Free
 
 

Review The BOOP Toolkit

  • captcha
 
 
New Miscellaneous software
  • ASP. NET PDF Generator  v.2020.8.1The primary function of Iron PDF for ASP.NET is the generation of PDF documents using HTML to PDF technology. In addition, Iron PDF can be used to sign PDFs, edit existing PDFs, and extract content such as text and images from uploaded PDF documents.
  • OCR in .Net  v.4Iron OCR is a OCR .NET library allowing users to convert images and PDF documents back into text using the .NET Framework in C#, F#, or VB.NET.
  • The .Net PDF Library  v.2020.7.1A .NET PDF library such as Iron PDF is a software library for C#, VB.NET, and other .NET Framework developers to work with PDFs generating PDFs, editing PDFs, and extracting PDF content within their applications. Supports .Net Core & .Net Framework.
  • VB.Net to C# Converter  v.5.08VBConversions has the most accurate VB.Net to C# Converter money can buy. The VBConversions VB to C# Converter won Visual Studio Magazine Reader's Choice Award, 2006. Free download.
  • The Boolfreak Minimizer  v.1.0Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is ...
  • The BOSS Online Submission System  v.20090715BOSS is a course management tool that allows students to submit assignments on-line in a secure manner. Staff can mark work and run automatic tests on ...