divine-2.1 2.5
DIVINE is a tool for LTL model checking and reachability analysis of discrete distributed systems. The tool is able to efficiently exploit the aggregate computing power of multiple network-interconnected multi-cored workstations in order to deal with ...
- Audio & Multimedia
- Business
- Communications
- Desktop
- Development
- Education
- Games
- Graphics
- Home & Hobby
- Network & Internet
- Screen Savers
- Security & Privacy
- Servers
- System Utilities
- Web Development
- FoneLab Data Retriever
- Informachine File Manager
- Migrate Access Database to...
- Disk Media Recovery Software
- Pocket PC Device Forensic Tool
- HTMeLd
- ChequeSystem Cheque...
- Flash Card Recovery Software
- Aiseesoft FoneLab iPhone...
- SSuite Office Premium HD+
- AnyMP4 Blu-ray Creator
- FAT Volume Data Recovery
- Restore Deleted Mac Files
- UltraFileSearch Std Portable
- MSMassEmailSenderPro
- ADRC Data Recovery Tools
- avast! Antivirus
- Revo Uninstaller
- Java Runtime Environment
- AVG Anti-Virus Free Edition
- GOM Media Player
- RegSeeker
- IrfanView
- CPU-Z
- Malwarebytes Anti-Malware
- Spybot Search & Destroy
- Skype
- µTorrent
- Ai File Extension Editor
- Remove Drm From Pdf Files
- Download Word Templates For...
- Assault Cube Sounds
- Download Song As Zip File
- Rankquest Watchseo
- Free Becker Cpa
- Creative Smiley Faces Text
- Portable Photo Editor Free...
- Screen Capture Master
- Bat Merge
- Daz Iso Compressor
- Destroy Recycle Bin Windows
- Decode Firefox Cache File
- Link Directory Script
Model Checking Download
-
1Freeware
-
2LS-PrePost--X64 3.1
0 -- Interactive Entity (Keyword) Creation -- Meshing Tools -Surface Meshing -Tool Meshing -2D Meshing -Tet Meshing -Block Meshing -Mesh Morphing -- Special Applications -Metal Forming -Roller Hemming -Airbag Folding -Dummy Positioning -Seatbelt Fitting -Penetration Checking -Model Checking ...Freeware -
3Bentley i-model Plugin for Revit
The i-model plugin for Revit allows users to save their Revit models in a way that lets users open them in Bentley MicroStation, Bentley Navigator, and many other Bentley building products, retaining the Revit properties information from the Revit model.Freeware -
4Gammadyne Spell Checking Module 1.6
The Gammadyne Spell Checking Module integrates with Gammadyne Corporation's Systema€‘G user interface to enable English spell checking in any Systema€‘G edit box or HTML editor. Main features: - Contains over 336,000 words. - Supports the ...Freeware -
5Easy Model Railroad Inventory 6.1
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, ...Freeware -
6Model Assistant Suite 5.0
Model Assistant Suite is the most useful collection of add-ins for people who use Excel as a decision making tool: to build, review, analyze and present more robust models, quicker. Model Assistant Suite integrates the power of Model Builder for Excel ...$480.00 -
7Solibri Model Checker 7.1
Solibri Model Checker is out of the box software solution (Patent Pending) that analyzes Building Information Models for integrity, quality and physical safety. The system offers easy-to-use visualization with an intuitive walk-in functionality. With ... -
8TeamQuest Model 10.2
TeamQuest Model is a capacity planning package that accurately predicts the resources required to support consistent service delivery at appropriate risk levels. Main features: - Predict the resources required to meet service levels as demand increases ... -
9Leadscope Model Applier 1.3
Using the Leadscope Model Applier application, users can now generate toxicity predictions for only $100 per compound per model suite. Models include both proprietary and non-proprietary data. Applicability domain defined by nearest neighbor analysis ...$1,000.00 -
10AC-130E Expansion Model 1.1
The AC-130 'Spectre' Model is a separate product and can be installed to default MS FS2004 without any other C-130 product pre-installed. The AC-130 'Spectre' model is available in the following variations:-Clean (no exterior fuel ...$14.21 -
11Virtual Model Rocketry Demo 1.0
Launch anywhere, anytime: No matter where you are, how bad the weather conditions might be or the time of day, now you can always have a perfect sunny day to launch a model rocket as many times as you want. Challenge your skills: Play in simulator mode ...$11.95 -
12Model Manager 1.3
Model Manager -Building models has become much easier. When you have applied the above data, Model Manager automatically generates your model. What previously took man-month is now finalized within hours! Furthermore, you will benefit from the fact ...$136.98 -
13Atomic Memory Model 2.3
The Atomic Memory Model is a powerful methodology which handles memory in a consistent, elegant, simple and highly effective way, greatly increasing the quality of code and speed of development. By abstracting the memory and representing it as an encapsulated ... -
14Decision Assistant Model Excel 30
The Decision Assistant Model values a decision and determines the impact on your business. It calculates the range of possible outcomes for your decision, their likelihood of occurring, the average outcome, and the probability of the outcome being positive ...$35.00 -
15Simply Checking 5.13
You have many choices, so why choose Simply Checking checkbook software? It's so easy to use, sometimes less is more! Unlike other checkbook software, all of our controls are visible on screen, not buried in a labyrinth of menus, yet our checkbook software ...$12.00 -
16SSI Model Railway Control System
SSI is an application which enables a PC computer to control the operation of a model railway layout through hardware connected to the communications port.SSI uses the MRAPI 'middle ware' product to provide the actual hardware communications.$89.00 -
177s Strategy Software Model,
7s Strategy Software Model, Framework (Strategic Analysis, Management)$25.00 -
18The Atomic Memory Model 2.2
The Atomic Memory Model is a powerful technology which handles memory in a consistent, elegant, simple and highly effective way greatly increasing the quality of code and speed of development. The Atomic Memory Model makes concepts such as garbage collection ... -
19Model Builder for Excel 2.1.1
With Model Builder for Excel you can perform fast and accurately repetitive and time consuming tasks, such as transposing linked formulas, if formulas, consolidating sheets, consolidate ranges, swapping data, etc. Model Builder for Excel will allow you ...$119.95 -
20Entity Developer for LINQ to SQL
Use Model-First and Database-First approaches to design your model and generate C# or Visual Basic .NET code for it. Customize the templates to fit all your needs. Entity Developer uses standard Microsoft SqlClient and LINQ to SQL, bundled with .NET ...$99.95
Buy -
21Solar Advisor Model 2011.1
The System Advisor Model (SAM) is a performance and financial model designed to facilitate decision making for people involved in the renewable energy industry. SAM makes performance predictions and cost of energy estimates for grid-connected power projects ...Freeware -
22SigScribe4 1.2
SigScribe4 is a software package specifically designed by MODRATEC to enable the model railway enthusiast to create a Signal Diagram and interlocking table for almost any layout. Even those with little knowledge of this process are guided towards an ... -
23FreeKinA© Modeler 1.0
The FreeKin Modeler program was developed to help translate the literature data into a practical pk model useful for designing dosing regimens. The basic parameters you will need from the literature are: - Normal Half-Life - ESRD Half-Life - Normal ...Freeware -
24Vensim Model Reader 5.1
The Model Reader is an application that allows read-only access to models created with Vensim. The model must be either published as model (.vpm) or application (.vpa) or saved as a Vensim format (.vmf) binary file (normal Vensim models are saved as ...$169.00 -
253D Model Trains 1.0
Now 3D Model Trains changes this by letting you quickly layout your track designs. Then add switches, crossover and sidings to build detailed tabletops instantly. Drop in 3D scenery: buildings, trees, landscaping, people, more. And adjust the terrain ...$29.00