Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
We help you deliver Virtual and Hybrid Events using our Award Winning end-to-end Event Management Platform
Designed by event planners for event planners, the EventsAIR platform gives you the ability to manage your event, conference, meeting or function with
EventsAIR have been anticipating and responding to the ever-changing event industry needs for over 30 years, providing innovative solutions that empower event organizers to create successful events around the globe.
Toolkit for working with and mapping geospatial data
GeoTools is an open source (LGPL) Java code library which provides standards compliant methods for the manipulation of geospatial data.
GeoTools is an Open Source Geospatial Foundation project.
The GeoTools library data structures are based on Open Geospatial Consortium (OGC) specifications.
Database Replication, Filtered Synchronization, and Transformation
SymmetricDS is database replication and file synchronization software. It is a platform-independent, web-enabled, and database-agnostic synchronization tool. With initial data load, bidirectional change data capture, conflict resolution, and data transformation, it is a comprehensive data replication solution.
VBase is a graphical front-end for a multiple user video storage, archive, and retrieval system. It includes a java upload/download applet, as well as a search system which can parse meta data about the stored video, and is based on a LAMP stack.
This app. can be used to parse and search through a database of bestselling books, or easily modified to parse other databases if they adhere to a specific format. If such a format is inappropriate, the program can be easily modified upon request.