Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 49.599.502 Times

PolySpace Stats 1.0

  Date Added: June 22, 2013  |  Visits: 191

PolySpace Stats

Report Broken Link
Printer Friendly Version


Product Homepage
Download (39 downloads)



This script acts on the log file generated during a PolySpace verification. It gives some statistics about the current state of a verification:dlT- options and statistics of each stage* the complexity of a verification: number of stubs, estimation of pointers complexity, ...dlT- the list of run-time errors found during the verification.

Requirements: No special requirements
Platforms: Matlab
Keyword: Complexity Errors Estimation Found Number Options Pointers Runtime Stage Stubs
Users rating: 0/10

License: Shareware Size: 2.28 MB
USER REVIEWS
More Reviews or Write Review


POLYSPACE STATS RELATED
Utilities  -  JFSplit - File Splitter and Joiner 1.0
A free file splitter and joiner with a number options to split and join your files efficiently. Cross-platform tool programmed in JAVA and requires Java Runtime Environment to use this tool.
144.7 KB  
File Synchronizers  -  petardfs 0.0.2
petardfs is a FUSE filesystem designed to hoist your applications with errors. With no configuration, petardfs takes a base filesystem and exposes it through FUSE. An XML configuration file is used to tell petardfs which files to report errors...
286.72 KB  
Network & Internet  -  phpMyID 0.6
phpMyID is a small, fairly lightweight, standalone, single-user Identity Provider for OpenID authentication. OpenID is an open, decentralized, free framework for user-centric digital identity (I stole that from their website). But what does it...
18.43 KB  
Libraries  -  File::Drawing 0.01
File::Drawing release, revise and retrieve contents to/from a drawing program module. SYNOPSIS ########## # Subroutine interface # use File::Drawing qw( dod_date dod_drawing_number number2pm pm2number obsolete broken backup); $date =...
64.51 KB  
Development Tools  -  dumpcheck for XML Tools 1.1
dumpcheck is a C program that will scan the UTF-8 encoded XML data dump files exported by ODP and report the location of invalid UTF-8 sequences, illegal XML characters, illegal Unicode characters, and XML well-formedness errors. This helps ODP...
10 KB  
Networking  -  FV All in One SEO Pack 1.6.11
A simplified version of All in One SEO Pack!Streamlined interface with no keywords field. Option to turn off excerpts and automated descriptions. Far better for pure SEO and for client use. Check screenshots.Optimizes your Wordpress blog for...
10 KB  
Modules  -  Gallery Columns 1.0.3
If you use [gallery] shortcode without setting the columns value, the default is set to 3. Some WordPress theme can either fit 3 or more column per row or less.Imagine if you use [gallery] shortcode with default options regularly within your...
20.48 KB  
Modules  -  Event Manager Block 5.x-1.0
The Event Manager Block extends both Event and Event Manager to provide a block listing upcoming events and whether or not the event has open volunteer slots. The module also provides a summary page of all open volunteer slots (reached by a link...
10 KB  
Business  -  CdDatabase 4.00
CDDataBase is a plugin, designed to organize and maintain a catalogue of your disk collection, including CD-ROMs, harddrives, MP3s, removable disks... for quick searching and navigation. (screenshots) Features in CDDataBase v4.00 now...
10.24 KB  
Vertical Markets  -  Mar-Kov Recipe Manager Express 7.7.3
Free tool for creating and managing formulations. Specify ingredients, processes, costs, safety information, and tests. Supports the development and maintenance of batching recipes, and automatically generates batch sheets. Industry specific...
50.23 MB  
NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS
Scripts  -  Freelancer Script 5.05
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Post projects. Featured projects. Private projects. Sealed projects. Edit/delete projects. Select freelancers....
5.49 MB  
Scripts  -  B2B Script 4.20
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Sign-up Account (Registration of account). Lead generation tools (for the sellers). Email verification to...
5.49 MB  
Scripts  -  B2C Script 5.06
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). The script comes with totally editable site colors, icons and graphics Multilevel categories allows extensive browsing Admin can change Category ordering or...
5.49 MB  
Scripts  -  Social Networking Script 2.86
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Registration with name, email, password, date of birth etc. User can add multiple school, college, university with start...
5.49 MB  
Scripts  -  Business Networking Script 8.04
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Ajax based interface. Profile creation. Different types of profile. Profile for jobseekers, employers and employed...
5.49 MB  
Development Tools  -  Aml2CHM 3.50
Those who use the popular Aml Pages text editor might be looking out for a way of generating help files from their text and notes. Aml2CHM is a plug-in that was developed to offer people a quick and efficient way of converting Aml Pages documents...
549.99 KB  
Development Tools  -  VMP Viewer 1.0
This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.
10 KB  
Development Tools  -  Sending reports and timestamped file by emailing 1.0
main executing reference usage:[1] usage_send_mail.mIllustrates email sending with multiple separate files or single timestamped tar file. Attachment failure is properly handled, with continuation of report emailing without the attachment.[2]...
768 KB  
Development Tools  -  IrisMVC 2.0 rc1
IrisMVC is an OOP PHP framework that developers can use as a strong and secure foundation to build on various web applications following the Model-View-Controller (MVC) pattern. It provides the basic functionality developers need, without...
51.2 KB  
Development Tools  -  7-Zip for Script 4.42
7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...
624.64 KB