Home > By category > Developer Tools >Bug Trackers > VICS



VICS

  • Downloads: 
  • Views: 
  • Rating:

VICS, Verification of an Implementation Conforming to its Specification, aims to check the correctness of a refinement of the B formal method (http://www-lsr.imag.fr/B/Bsite-pages.html). More info on http://vics.sourceforge.net

Free download from Shareware Connection - VICS, Verification of an Implementation Conforming to its Specification, aims to check the correctness of a refinement of the B formal method (http://www-lsr.imag.fr/B/Bsite-pages.html). More info on http://vics.sourceforge.

Publisher: vics.sourceforge.net | License: Freeware | Price: 0.00
Version: 1.0 | Size: 34 KB | Platform: Linux, Unix, WinOther
Released Date: 09-05-2012 | Rating: 0 | Title: VICS

Author Url: http://vics.sourceforge.net
Program Info Url: http://vics.sourceforge.net
Download Url: http://downloads.sourceforge.net/project/vics/vics/1.0/vics-1.0.tar.gz?r=&ts=1336131350&use_mirror=iweb

VICS related downloads:

JCVI VICS - VI Compute Server (VICS) is a collection of grid-enabled bioinformatics tools with HTTP (browser) and Web Services (scriptable) interfaces.

Silverlight Barcode Professional - Barcode Professional for Silverlight. High quality vector-based Linear, Postal, MICR, Composite and 2D Symbologies. Visual Studio & Expression Blend support. Silverlight printing data-binding support. Save barcode images in image files.

SmartBOL Bill of Lading Software - SmartBOL Classic bill of lading software creates various bill of lading forms on plain paper using regular laser, inkjet or DMP printers.

Lading Manager Lite - Enter, print, and track your bills of lading with this easy-to-use software. Lading Manager will produce a straight bill of lading on blank paper rather than preprinted forms. Store all of your customers, carriers, and products for fast retrieval.

ASP.NET Barcode Professional - Linear, Postal , MICR and 2D barcode images for ASP.NET. Visual Studio support. Cross-Browser Compatible. Crystal Reports .NET Support. ReportViewer RDLC Local Reports support. Medium-Trust support. Transparent background support for GIF and PNG.

Shareware Connection periodically updates pricing and software information of 'VICS' from company source 'vics.sourceforge.net' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'VICS' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of VICS.

New Reviews

Driver Fusion - To keep your laptop and desktop running smoothly and get the best performance out of it, it is important to pay attention to some aspects. It is quite important to ensure your PC device drivers are updated. Components like motherboards, GPU and ...

NovaBench - PC performance benchmarking is something that may not interest average users much but tech savvy lot resort to such apps to find out prowess and capability of their laptops and desktops. While there are quite a few PC benchmarking apps in market, ...

CleanMyDrive - PC experts unanimously agree that using Macs tend to be a smoother and faster experience than running Windows based PCs but the Apple laptops and desktops also need maintenance and performance tweaking, occasionally. Regular web browsing, ...

Device Doctor - Keeping the drivers of hardware components used in your PC is really important. Obsolete device drivers lead to a myriad of problems affecting PC performance. While advanced users may check for outdated drivers personally, this may not be an ...

SeaTools for Windows - Among all the hardware components used in a desktop or laptop, the hard disk is a prime one. In the hard disk is not in good shape, even a PC with powerful CPU and lots of RAM will malfunction or run sluggishly. Hard disk failure can lead to data ...

Canva - While designing becomes a requirement for millions of PC users at times, a majority of them do not feel comfortable about using mainstream design software. The steep learning curve associated with some graphic design and print publishing apps ...

MiniTool Partition Wizard Home Edition - It is true that you need a powerful CPU and adequate amounts of RAM to keep your computer running smoothly. However, it is also necessary to ensure that the hard disk remains in top condition. Hard disk needs to be properly optimized and ...

HotShots - Screen capture software comes in handy in a number of situations, as it is. If you want to show some web content worth your interest to friends or prepare an interactive tutorial, such apps are useful. Needless to say, Windows inbuilt screen shot ...

dMaintenance - As a computer user, you may need to deal with several types of applications. For a lot of Windows users, the integrated tools of the OS may not suffice at times. They may need to use several third party apps for needs such as entertainment, ...

ArtSage - PC users often need to make use of third party applications for making slideshows. While Windows inbuilt utility for viewing images and running slideshows keeps getting better with time, for many users third party apps seem better option. If you ...




New Downloads

Universal SQL Editor

Intellisense enabled SQL
editor for Oracle, DB2, SQL
Server, Sybase, etc., with SQL
formatter/beauifier, query
result ...

TeeGrid for VCL/FMX

Lightweight and fully-featured
Grid control for RAD Studio,
Delphi and C++Builder. The
Grid allows you easily and
fast ...

Magento ODBC Driver (32/64
bit)

Devart ODBC Driver for Magento
provides high-performance and
feature-rich connectivity
solution for ODBC-based ...

OLEDBDAC for Delphi

OLE DB Data Access Components
(OLEDBDAC) is a feature-rich
and high-performance library
of components that provides
data ...

InterBase Data Access
Components

IBDAC is an enhanced component
library for fast direct access
to InterBase, Firebird and
Yaffil from Delphi, C++Builder
...

JPG to Word OCR Converter

JPG to Word OCR Converter can
be used to convert the image
of JPG to Word document.

PilotEdit x64

PilotEdit is a powerful file
editor capable of editing huge
files larger than 400GB (40
billion lines).

VISCOM Video Edit ActiveX
Control

Image To Video. Resize
specific video resolution.
Export video frames to image.
Provide over 20 transitions
and over 50 ...

ESBPCS-Calcs for VCL

ESBPCS-Calcs is a subset of
ESBPCS containing Components
and Routines for Calculators
and Unit Conversion for Delphi
...

DEWizardX - ETL ActiveX

Import/Export Routine is an
essential part of any modern
software application. By using
DEWizardX you can cut a cost
of ...

MarshallSoft Client Mailer
for Foxpro

Send personalized text or HTML
email with attachments to
clients or customers directly
from a Visual FoxPro
application ...

TailExpert

TailExpert is a reliable and
useful application dedicated
to helping you analyze logdata
from all kinds of origin
(files, ...