Search results
Results From The WOW.Com Content Network
Microsoft Windows. Available in. English. Website. home .snafu .de /tilman /xenulink .html. Xenu, or Xenu's Link Sleuth, is a computer program that checks websites for broken hyperlinks. [1] It is written by Tilman Hausherr and is proprietary software available at no charge. The program is named after Xenu, the galactic ruler from Scientology ...
Checklinks is a tool that checks external links for Wikimedia Foundation wikis.It parses a page, queries all external links and classifies them using heuristics.The tool runs in two modes: an on-the-fly for instant results on individual pages and project scan for producing reports for interested WikiProjects.
A list of verification tools for probabilistic, stochastic, hybrid, and timed systems. Common benchmarks. MCC (models of the Model Checking Contest): a collection of hundreds of Petri nets originating from many academic and industrial case studies. VLTS (Very Large Transition Systems): a collection of Labelled Transition Systems of increasing ...
The Reporters' Lab at Duke University maintains a database of fact-checking organizations that is managed by Mark Stencel and Bill Adair. The database tracks more than 100 non-partisan organizations around the world. The Lab's inclusion criteria are based on whether the organization. examines all parties and sides;
Python. PyCharm – Cross-platform Python IDE with code inspections available for analyzing code on-the-fly in the editor and bulk analysis of the whole project. PyDev – Eclipse-based Python IDE with code analysis available on-the-fly in the editor or at save time. Pylint – Static code analyzer.
Moodle – Free and open-source learning management system. OLAT – Web-based Learning Content Management System. Omeka – Content management system for online digital collections. openSIS – Web-based Student Information and School Management system. Sakai Project – Web-based learning management system.
SPIN model checker. SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980. The software has been available freely since 1991 ...
Norton Safe Web. Norton Safe Web (sometimes abbreviated NSW) is a service developed by Symantec Corporation that is designed to help users identify malicious websites. Safe Web delivers information about websites based on automated analysis and user feedback. The software debuted as a public beta in 2008, and is now included in current versions ...