Spin model checker in Title/Summary
Autodesk Model Checker Configurator for Revit
The Model Checker Configurator is a stand-alone Windows application that allows you to create and edit your own configuration files to use with the Model Checker. The program provides dozens of free samples that you can use in order to build the checks you need. Also, a wizard interface can build your checks for you by answering a few simple questions.
- Publisher: BIM Interoperability Tools
- Last updated: July 29th, 2017
Tekla Structures Extension Model Checker Suite
Tekla Structures Extension Model Checker Suite is a program that you can use it to verify and review the model with existing or new checks that you can create. In the Model Checker Suite dialog box you can click each checkbox to enable/disable the selected check condition.
- Publisher: Tekla Corporation
- Last updated: April 3rd, 2015
Solibri Model Checker
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 a single mouse click, the system X-rays the building model and reveals potential flaws and weaknesses in the design.
- Publisher: Solibri, inc.
- Home page: www.solibri.com
- Last updated: July 10th, 2014
Spin model checker in Description
jSpin
jSpin is a graphical user interface for the Spin model checker that is used for verifying concurrent and distributed programs. It is an alternative to the XSpin GUI and was developed primarily for pedagogical purposes. jSpin is written in Java, because the Java platform is both portable and widely in computer science education.
- Publisher: Mordechai Ben-Ari
- Last updated: February 17th, 2012
Solibri Model Viewer
Solibri Model Viewer is a Windows utility that enables you to open and edit standard IFC and Solibri Model Checker files. The program might prove to be of good use to people who work in the construction industry and wish to have access to a simple tool specialized in handling IFC, SMV or SMC files.
- Publisher: Solibri, inc.
- Home page: www.solibri.com
- Last updated: June 26th, 2017
Autodesk Model Checker for Revit
Autodesk Model Checker for Revit is a free tool that automatically checks your Revit models based on a set of BIM requirements and generates a compliance report. The add-in is designed to quickly identify possible conflicts or areas of non-compliance in a model by running several standards checks which can be viewed or exported for analytical review.
- Publisher: BIM Interoperability Tools
- Last updated: October 13th, 2017
ASTRA32 - Advanced System Information Tool
ASTRA32 - Advanced System Information Tool is an ideal solution for providing comprehensive information about the configuration of your system. Main features: - quick HDD Health Status checker (using an unique algorithm) - detailed drivers information (driver name, provider, version, date, status, etc.) for each physical device.
- Publisher: Sysinfo Lab
- Home page: www.astra32.com
- Last updated: July 14th, 2014
ICMIZER
ICMIZER is a powerful preflop Nash ICM Calculator for finding optimal plays in any situations in SNG and MTT tournaments. Utilizing poker ICM theory, cutting edge FGS model, and a basic ChipEV model, it offers a wide range of tools for optimizing your preflop Push/Fold playing strategy.
- Publisher: ICMIZER
- Home page: www.icmpoker.com
- Last updated: July 29th, 2017
Additional Spin model checker selection
Juniper Networks Host Checker
You can use Host Checker to perform checks on endpoint computers that connect to the IC Series device to make sure the endpoints meet certain security requirements. For example, you can make sure that a certain process or application is running on an endpoint before allowing a user to sign in to the Infranet Enforcer and access protected resources.
- Publisher: Pulse Secure, LLC
- Last updated: April 28th, 2011
Data Lifeguard Diagnostic for Windows
This program allows you to perform different tests and obtain information about your Western Digital drives from your Windows desktop. You can perform a quick or an extended test to detect and prevent drive failures. Also, you can obtain data about your drive, such as serial number, capacity, model, and so on.
- Publisher: Western Digital Corporation
- Last updated: November 23rd, 2015
Plagiarism Checker X
Plagiarism Checker X scans the similarity within your content for free. Whether you are a student, a teacher, a blogger, or a website owner; Plagiarism Checker X can help you deal with all content similarity concerns.
- Publisher: Plagiarism Checker X, LLC
- Home page: plagiarismcheckerx.com
- Last updated: August 28th, 2024
Jed's Half-Life Model Viewer
Jed's Half-Life Model Viewer is a modification of the original HLMV by Chumbalum Soft. This program is designed to preview Half-Life's .mdl model files. Jed's version also adds a couple new features as well as support for the new texture rules implemented in HL. This is a great tool for any mod developer.
- Publisher: wunderboy.org
- Last updated: March 4th, 2008
Q-Checker
Q-Checker, when operated from the early beginning in the design phase, will support cross engineering as well as model reuse in new projects and downstream. Key to a successful implementation is the integration and adaptation to companies‘ PLM processes.
- Publisher: TranscatPLM
- Last updated: August 29th, 2022
DiskCheckup
DiskChekup can collect and process information about hard disks, including SMART attributes. Fortunately, it supports multiple types of connection interfaces, such as ATA, USB and Firewire. The program is actually very simple, but the real complication appears if you don't know how to interpret the data provided.
- Publisher: Passmark Software
- Home page: www.passmark.com
- Last updated: August 2nd, 2021
Desktop Plagiarism Checker
This free program lets you check the writings submitted by your students or employees to verify their originality. It is really easy to use, and it can obtain results from different services such as Google, Yahoo, Google Books and Google Scholar. Very useful for checking the originality of texts submitted by students or employees.
- Publisher: Plagiarisma.Net
- Home page: plagiarisma.net
- Last updated: November 18th, 2024
Cn3D
Cn3D (to be read "see in 3D") is an application offered as support for web browsers so that one can view 3D structures from the NCBI Entrez Structure database. Cn3D permits the simultaneous display of structure, sequence and alignment of bio-molecules. The utility can make appropriate correlations between structure and sequence information.
- Publisher: NCBI
- Home page: www.ncbi.nlm.nih.gov
- Last updated: June 6th, 2011
Easy Credit Card Checker
Far from being a random combination of digits, credit card numbers follow a strict logic that needs to verify against the “Luhn formula” to be considered valid. Easy Credit Card Checker can tell you if a credit card number is valid or not in just one click, verifying its validity by applying the LUHN10 algorithm to it. It works with all the most widely used credit card types and some defunct ones.
- Publisher: Ashkon Software L.L.C.
- Home page: www.ashkon.com
- Last updated: December 9th, 2012
Autodesk Revit Model Review
In the modern era of computers, innovative software programs have been developed in order to help humans do their job easier and efficiently. Autodesk Revit is an example of such a program and was created to help engineers or architects design 2D structural or 3D models of a building using steel fabrication elements, hydraulic functions, circuit boards, or plumbings.
- Publisher: Autodesk, Inc.
- Home page: www.autodesk.com
- Last updated: February 18th, 2019
