VCC for Windows 2.3.00517.0

VccBuildServer in Development \ Misc. Dev. Tools

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. <b>key features :</b> dlTE VCC is sound -- if VCC verifies your program, it really is correct (modulo bugs in VCC itself). dlTE VCC...


   
 
Related Software

HighDesign 2020.1.0 ILEXSOFT  Drawing and CAD

HighDesign is the full-featured, fast CAD and architectural design solution to create precise drawings, projects, layouts, and work with DWG drawings. Developed specifically for the needs of architects, engineers, and design professionals, HighDesign combines advanced drafting, project...

TeraByte Drive Image Backup and Restore 3.39 TeraByte, Inc.  Backup Tools

TeraByte Drive Image Backup and Restore Suite is an affordable and reliable drive image backup and restore software package that is used for backing up all of your hard drive data to other media or external drives (such as eSATA, USB or 1394) and allows you to easily perform a bare-metal restore...

Automate 11.3.10 HelpSystems LLC.  Misc. Utils.

Automate sets an entirely new standard for server and desktop automation. Built on the experience earned from delivering automation to more than 9000 sites across 40 countries, Automate now adds the power of virtual and cloud-based computing environments, plus improved web-app interaction, to its...

GHC Timetables EN 19.2.27.0 PeƱalara Software  Science

Penalara GHC is an automatic software to generate timetables for schools of different levels: primary schools, high schools, vocational schools, universities and all other academic institutions. GHC consists of 3 parts, which together achieve a balanced and optimal timetable. These parts are the...

@SwIt Printfil 5.25 aSwIt Srl: Mail, Print for DOS, Windows  Printing

Printfil allows printing from DOS, Unix, Linux, host programs to any Windows printer, including USB, GDI, network printers, IP, fax printers and PDF writers, without changes to the original applications. Printfil can capture data sent to one or more parallel ports (PRN: , LPT1:-LPT9:), serial...

Nonlinear regression - CurveFitter 4.5.36 Institute of Mathematics and Statistics  Mathmatics

CurveFitter performs statistical regression analysis to estimate the values of parameters for linear, multivariate, polynomial, exponential and nonlinear functions. The regression analysis determines the values of the parameters that cause the function to best fit the observed data that you...

Intuwiz CNC 1.05 Intuwiz Software  Science

Intuwiz CNC can convert any personal computer with LPT (parallel) port into computer numerical control (CNC) system.Program can generate step/direction or direct phase outputs using RS-274D G-code (Gcode).Application allows to use E-Stop, limit switches and backlash compensation.Intuwiz CNC has...

Nonlinear analysis - DataFitting 1.7.29 Institute of Mathematics and Statistics  Mathmatics

DataFitting is a powerful statistical analysis program that performs linear and nonlinear regression analysis (i.e. curve fitting). DataFitting determines the values of parameters for an equation, whose form you specify, that cause the equation to best fit a set of data values. DataFitting can...

WinGuard 10.2.1 WinGuard  Access Control

WinGuard locks your Desktop programs and Store apps using password protection. It does this by scanning for programs you add to its blacklist. If a match is found, WinGuard stops the application and displays a password prompt. Lock any app with password; Lock Software Installations; Lock MS...

Lotto Logic Lottery Software 7.2.0 Timersoft  Gaming Tools

To Win the Lottery and Improve your odds to win the lottery or Double Your Chances of Winning! Use lotto logic By analyzing your lottery game and reducing your pool of play, you can easily improve your odds of winning the lottery! The Most popular and free Lotto software download to help you win...