License: All

Sort by: Relevance

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
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: June 16th, 2021

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
Home page: www.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: May 5th, 2015

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.
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