Insurance Verifier

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. If it succeeds, VCC promises that your program actually meets its specifications.... Platforms: Windows

A Home Protection Plus appliance protection plan from DTE Energy is like appliance insurance or an extended appliance warranty. It automatically covers many of your household appliances when they break down. Starting as low as 47? a day, a Home Protection Plus appliance protection plan could pay... Platforms: Windows

Program to calculate and verify checksums of files downloaded from the internet. Supports major checksum types: MD4, MD5, SHA1, SHA-256, SHA-384, SHA-512, RIPEMD-128, RIPEMD-160, HAVAL 256, TIGER 192. Portable version - no installer, just one file. Basic interface with no fireworks. File... Platforms: Windows

This is a toolbar version 1.0 for cancerinsuranceusa many great features included like latest articles on cancer insurance, best cancer insurance companies, and cancer health insurance coverage from cancerinsuranceusa.com, great sites, hot amazon books, and many many great features like radio,... Platforms: Windows

As you know, bloly blog default theme's is so simply. But their script was powerful to create a multi author blog for me. So, I trying hard to create my own car insurance adsense blog template to make it look niche for you and all visitors. And now, you can download my free car insurance adsense... Platforms: Windows, Linux

A custom e-mail merge, email extractor, email verifier, data parser and all in one affordable email utility. JPEE is available as a free, easy to use, highly configurable, email communications software implementation. Use JPEE to extract / Import contact data from just about any data source... Platforms: Mac

The TradeMaster is a php/mysql/js application to manage insurance and finance broking mostly focused on the austrian market. Platforms: Windows, Mac, *nix, PHP, BSD Solaris

OpenQuote is an open source system designed to produce insurance quotations using the Internet.OpenQuote can be configured to work for any line of business, it uses business rules (risk evaluation and rates) that can be set up in a Microsoft Excel spreadsheet. Many different insurance products... Platforms: Java

Highlights include:d-deD? Integrating data sourcesd-deD? Valuing and creating a variable annuity productd-deD? Application development and deploymentThis webinar is relevant to practitioners or academics in finance whose focus is quantitative analysis, modeling, risk analysis, and... Platforms: Matlab

In this set of files, I propose a simple CPPI (Constant Proportion Portfolio insurance) implementation. One can run the backtesting of such a strategy, playing with the parameters of the strategy such as Multiplier (Risk Exposure), or Smoothing factor.A set of slides brifly reminf the basics of a... Platforms: Matlab

Gamma AMS is short for Gamma Agency Management Software for insurance agencies with multiple offices written in PHP 5. Platforms: PHP

Complete solution for Motor Surveyor (Free Software for Insurance Surveyor's (Motor)) MSMS helps surveyor to efficiently maintain & store various motor surveying related data. This saves your time & gives you an accurate business status. Major Benefits of Motor Survey Management system:... Platforms: Windows

This is a fleet management program developed according to market requirements. Warns upon the expiration of revisions, contracts, and insurance. It provides a clear, global and real-time view of the processes required to carry out the transport activity. This program generates email alerts when... Platforms: Windows, Windows 7, Windows Server, Other

This free loan payment calculator for Windows allows you to quickly calculate loan payments based upon variable payment frequency! Offers Daily 365/year, Daily 360/year, Weekly, Biweekly 26/year, Bimonthly 24/year, Monthly, Quarterly, Biannual, and Annual payment periods. Free Loan Calculator... Platforms: Windows

A custom e-mail merge, email extractor, email verifier, data parser and all in one affordable email utility. JPEE is available as a free, easy to use, highly configurable, email communications software implementation. Use JPEE to extract / Import contact data from just about any data source... Platforms: Windows

XCSV is an small freeware utility for verifying integrity of files by using previously generated checksum files. The supported algorithms include CRC32 (Cyclic Redundancy Code), MD5 (Message Digest number 5) and SHA-1 (Secure Hash Algorithm). The supported checksum files formats include SFV... Platforms: Windows

Web Placement Verifier is a freeware program that allows check your site search engine placement for multiple keywords, to see if your site is in the first top pages of a search engine result for a specific keyword search. It's important to be in the first top pages of a search result... Platforms: Windows

cbcv is a Java class and byte code verifier. It verifies static class file structure, external references, and analyzes operand stack and local variables through byte code execution emulation. cbcv includes CLDC standard verification. Whats New in This Release: - Implemented -j option to... Platforms: *nix

JPEE Email Utility is available as a free email extractor, email verifier, email mailer, email parser, email exporter, and email merge software solution. Take the bulk out of your email.Features include: Complete Email Merge Solution Unlimited Custom Tag support Conditional Tag support Inline... Platforms: Mac

Easy Model Railroad Inventory is designed to inventory all of your model railroad rolling stock, locomotives and cars, the structures, electronic equipment, book collection. Once the information has been entered there are many ways to view, query, report, and graph what you own. In addition to... Platforms: Windows