Search results
Results from the WOW.Com Content Network
An open-source tool designed to find faults in the Linux kernel. Splint: 2007-07-12 (3.1.2) Yes; GPLv2 — C — — — — — An open-source tool statically checking C programs for security vulnerabilities and coding mistakes. StyleCop: 2016-05-02 (2016.1.0) Yes; Ms-PL — C# — — .NET — — Analyzes C# source code to enforce a set of ...
CPAchecker: an open-source software model checker for C programs, based on the CPA framework; ECLAIR: a platform for the automatic analysis, verification, testing, and transformation of C and C++ programs; FDR2: a model checker for verifying real-time systems modelled and specified as CSP Processes
The classic path addition method of Hopcroft and Tarjan [1] was the first published linear-time planarity testing algorithm in 1974. An implementation of Hopcroft and Tarjan's algorithm is provided in the Library of Efficient Data types and Algorithms by Mehlhorn, Mutzel and Näher.
Open Graph Protocol, enables web developers to integrate their pages into Facebook's social graph. Open Graphics Project , open source architecture and standard for graphics cards Open Government Partnership , an international organization launched in 2011
Cypher is a declarative graph query language that allows for expressive and efficient data querying in a property graph. [1]Cypher was largely an invention of Andrés Taylor while working for Neo4j, Inc. (formerly Neo Technology) in 2011. [2]
NebulaGraph is a free software distributed graph database built for super large-scale graphs with milliseconds of latency. [1] NebulaGraph adopts the Apache 2.0 license and also comes with a wide range of data visualization tools.
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
Graph-tool, a free Python module for manipulation and statistical analysis of graphs. NetworkX , an open source Python library for studying complex graphs. Tulip (software) is a free software in the domain of information visualisation capable of manipulating huge graphs (with more than 1.000.000 elements).