Average Ratings 0 Ratings
Average Ratings 0 Ratings
Similar Products
-
TrustInSoft AnalyzerTrustInSoft commercializes a source code analyzer called TrustInSoft Analyzer, which analyzes C and C++ code and mathematically guarantees the absence of defects, immunity of software components to the most common security flaws, and compliance with a specification. The technology is recognized by U.S. federal agency the National Institute of Standards and Technology (NIST), and was the first in the world to meet NIST’s SATE V Ockham Criteria for high quality software. The key differentiator for TrustInSoft Analyzer is its use of mathematical approaches called formal methods, which allow for an exhaustive analysis to find all the vulnerabilities or runtime errors and only raises true alarms. Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure. The experts at TrustInSoft can also assist clients in training, support and additional services.
-
ParasoftParasoft's mission is to provide automated testing solutions and expertise that empower organizations to expedite delivery of safe and reliable software. A powerful unified C and C++ test automation solution for static analysis, unit testing and structural code coverage, Parasoft C/C++test helps satisfy compliance with industry functional safety and security requirements for embedded software systems.
-
RouteGenieRouteGenie is non-emergency medical transportation software for operations running 25 to 500+ vehicles. It combines NEMT scheduling software and route optimization with native multiload, real-time NEMT dispatch software, Medicaid and broker billing with CMS 1500 and claim scrubbing, and fleet compliance in one single-tenant platform. Multi-site operators run every location in one instance with role-based access and a full audit trail on every trip change. ImportGenie automates trip intake and status return across 28 live broker and payer integrations, including ModivCare, MTM, Veyo, Verida, SafeRide Health, Alivi, New York MAS, Uber Health and transit authorities. Subcontractor vehicles are visible on the same live map as owned fleet. SAML2 SSO (Entra ID, Okta, OneLogin, Google Workspace), SOC 2 Type 1, open REST API, iOS and Android driver apps, passenger app, and a payer and facility portal. Flat per-vehicle pricing with unlimited trips and unlimited users. 600+ fleets, 20,000+ vehicles, ~50,000 trips daily.
-
OneTimePIMCentralize, Enrich, and Distribute Product Data with Precision OneTimePIM delivers a comprehensive solution for businesses seeking to streamline their product information workflow. As the central source of truth for all your product data, our platform eliminates information silos and ensures consistency across all channels. Key Benefits * AI-Powered Data Enrichment — Our built-in AI assistant automatically generates product descriptions, optimizes content, and creates compelling captions, saving your team countless hours. * Seamless Integration Ecosystem — Connect effortlessly with major e-commerce platforms including Shopify, WooCommerce, and Magento, plus synchronize with your existing ERP systems for end-to-end data flow. * Intuitive Data Management — Experience our unique spreadsheet view for familiar navigation, advanced media management tools, and automated datasheet generation that transforms complex information into professional materials. The OneTimePIM Difference While other PIM solutions require extensive technical setup and ongoing support costs, OneTimePIM includes free implementation, personalized training, and dedicated support in every package. Our client-first approach means we're partners in your success, not just another vendor. For businesses ready to elevate their product information management with innovation and flexibility, OneTimePIM provides the ideal balance of powerful features and user-friendly design.
-
PapirflyPapirfly delivers enterprise-ready software that transforms how global brands manage and create marketing content. Through advanced Digital Asset Management (DAM) and templated content creation capabilities, Papirfly enables teams to organize, control, and activate assets securely—across every format and region. Powering over 1 million users in 1,500+ leading organizations, including Mercedes-Benz, Mondelez, and Goldman Sachs, Papirfly helps brands scale creativity without losing control. Built on a modular SaaS framework, it connects asset storage, brand governance, and content production in one intuitive ecosystem. As part of the Papirfly Group—with Keepeek, Brandpad, and Adgistics—Papirfly continues to innovate for marketing teams that demand efficiency, consistency, and global brand excellence.
-
Trinium TMSTrinium is the industry leader in intermodal trucking, drayage systems. It offers solutions for companies with 10 to more than 1,000 drivers. Trinium TMS (Transportation Management System), is a complete enterprise solution for intermodal trucking companies. TMS is currently used in every intermodal and cargo market in the U.S. and Canada. It manages both domestic and international container operations. The company's primary goal is to help its customers improve their financial results by implementing industry best practices. Trinium has made improvements in various areas of customers' operations. Increase revenue/fleet without hiring additional staff. Reduce equipment detention charges (Per Diem, Rail Storage, Port Demurrage). Mobile communications can improve dispatcher efficiency and driver productivity. Customer service can be improved by timely and accurate updates via EDI and automated email.
-
QBenchQBench is a cloud-based Laboratory Information Management System (LIMS) designed to help laboratories manage samples, workflows, data, inventory, reporting, quality processes, and client interactions in one platform. Labs use QBench to manage operations from order placement and sample processing through results and automated reporting. The platform is highly configurable, allowing laboratories to build workflows, define custom data fields, and automate processes around the way their lab operates. QBench helps reduce manual work by connecting instruments, software, and other systems through file parsers and a robust API. These integrations can automate data transfer, reduce repetitive data entry, and lower the risk of transcription errors. Key capabilities include sample and workflow management, configurable workflows and custom fields, workflow automation, instrument and system integrations, file parsing, API connectivity, inventory management, client portals, automated reporting, analytics, and integrated Quality Management System (QMS) capabilities. QBench is designed to adapt as laboratory processes change. Teams can modify workflows, fields, and automations without relying heavily on custom development. As a cloud-based platform, QBench brings laboratory data, workflows, automation, quality management, and reporting into one centralized system. Customers are also supported by a team that includes former bench scientists who understand laboratory workflows and provide guidance during implementation and ongoing use.
-
Centrex SoftwareOur powerful Customer Relationship Management software (CRM) can help you increase productivity, generate more revenues, and improve engagement. Manage your advance/loan portfolio. Integrated with ACH processors. Includes broker portal and syndicate reporting. Send email and SMS campaigns, send/receive SMS messages, track email openings, and much more. ClixSign® allows you to send any document for electronic signature. You can see when documents have been viewed and signed by up 8 signers. Your customers can access a branded portal that allows them to upload documents, view messages and track balances/payments. The most up-to-date contact and deal management software allows you to see the entire pipeline. Centrex Software provides custom software development solutions. We assist customers in building web and mobile apps for any purpose.
-
SuttonSutton is a manufacturing and distribution ERP platform that combines core operations management with AI-driven automation and customizable applications. The software centralizes inventory, warehousing, sales, purchasing, production, fulfillment, traceability, and compliance in one system. Inventory capabilities include real-time stock visibility, multi-location management, demand forecasting, shipping workflows, and monitoring of materials that may run out. Production features support shop-floor control, production scheduling, work centers, materials, jobs, and operational tracking. Sutton’s intelligence layer analyzes operational data to surface business health, identify exceptions, recommend next steps, and help users act on those recommendations. AI agents can prepare purchase orders, respond to changing production requirements, generate shipping documents, and handle other repetitive operational tasks across modules. Sutton Studio allows users to create custom apps, reports, forms, and workflows by describing what they need in plain English, with the resulting tools operating directly on existing Sutton data and permissions. The platform also includes an AI-assisted onboarding process that can reformat data, map fields, make bulk edits, and configure the system for migration. Sutton integrates with ecommerce, accounting, and sales channels such as QuickBooks, Shopify, WooCommerce, Amazon, and eBay and provides flexible API access for connecting additional systems.
-
OdooOdoo is an open-source, fully customizable and extensible software that includes hundreds of professionally designed business applications. Odoo's intuitive database can meet most business needs including CRM, Sales, Projects, Manufacturing, Inventory, Accounting, and Accounting. Odoo is a software solution that can be used to meet all company needs, regardless of size or budget. Odoo's seamless design makes it easy for businesses to become more efficient and save time. Each module is interconnected to offer a seamless experience from one app to the next. Users can automate many tasks that would otherwise require manual inputs to multiple applications. Odoo enables teams to collaborate with each other from one platform, allowing them to keep all business functions in one place.
Description
The SEA Manager, or software environment analyzer, is an exceptionally robust tool for software analysis that provides a comprehensive overview of all applications within your organization and their interconnections. As a fundamental component of numerous services offered by Neperia Group, SEA Manager opens up a multitude of opportunities for clients to understand, manage, and enhance their software assets. When integrated with Neperia’s KPS Portal, a software insight platform, SEA Manager empowers businesses with unparalleled oversight of every software element essential to their operations. This tool operates entirely autonomously, delivering rapid, thorough, and impartial information to its users. The insights gained from its analysis significantly mitigate the time, expenses, and risks associated with projects like knowledge rebuilding, migration, porting, and re-engineering. Regardless of the complexity of your software systems, Neperia’s SEA Manager provides a wealth of benefits. It also produces both functional and technical documentation in MS Office formats, featuring graphic visualizations tailored to the specific requirements of each client. Overall, SEA Manager stands out as an indispensable resource for companies aiming to optimize their software management strategies.
Description
The Secure Programming Group at the University of Virginia's Department of Computer Science is responsible for the development and ongoing maintenance of Splint. David Evans leads the project and serves as its main developer. Memory bounds checking was created by David Larochelle. Significant contributions to Splint's development were also made by University of Virginia students, including Chris Barker, David Friedman, Mike Lanouette, and Hien Phan. Splint serves as the evolution of LCLint, a tool that originated from a collaborative research effort between the Massachusetts Institute of Technology and Digital Equipment Corporation's System Research Center. David Evans was also the chief designer and developer of LCLint. The initial concept for a static checking tool aimed at identifying discrepancies between LCL specifications and their C implementations came from John Guttag and Jim Horning. Their insights into the design and functionality proved invaluable, playing a crucial role in shaping both LCLint and its successor, Splint. Together, the team has fostered a robust environment for developing tools that enhance software reliability and security.
API Access
Has API
No
API Access
Has API
No
Screenshots View All
No images available
Integrations
Android
Yes
Ansible
Yes
Apple iOS
Yes
C
No
Fujitsu Biometrics-as-a-Service
Yes
IBM Db2
Yes
Java
Yes
MATLAB
No
Mariner Financial Wellness
Yes
Microsoft 365
Yes
Integrations
Android
No
Ansible
No
Apple iOS
No
C
Yes
Fujitsu Biometrics-as-a-Service
No
IBM Db2
No
Java
No
MATLAB
Yes
Mariner Financial Wellness
No
Microsoft 365
No
Pricing Details
No price information available.
Free Trial
No
Free Version
No
Pricing Details
No price information available.
Free Trial
No
Free Version
Yes
Deployment
Web-Based
Yes
On-Premises
No
iPhone App
No
iPad App
No
Android App
No
Windows
No
Mac
No
Linux
No
Chromebook
No
Deployment
Web-Based
Yes
On-Premises
No
iPhone App
No
iPad App
No
Android App
No
Windows
No
Mac
No
Linux
No
Chromebook
No
Customer Support
Business Hours
Yes
Live Rep (24/7)
Yes
Online Support
Yes
Customer Support
Business Hours
No
Live Rep (24/7)
No
Online Support
Yes
Types of Training
Training Docs
Yes
Webinars
No
Live Training (Online)
Yes
In Person
Yes
Types of Training
Training Docs
Yes
Webinars
No
Live Training (Online)
No
In Person
No
Vendor Details
Company Name
Neperia
Country
Italy
Website
www.neperiagroup.com
Vendor Details
Company Name
University of Virginia
Founded
2007
Country
United States
Website
splint.org
Product Features
Static Code Analysis
Analytics / Reporting
No
Code Standardization / Validation
No
Multiple Programming Language Support
No
Provides Recommendations
No
Standard Security/Industry Libraries
No
Vulnerability Management
No
Product Features
Static Application Security Testing (SAST)
Application Security
No
Dashboard
No
Debugging
No
Deployment Management
No
IDE
No
Multi-Language Scanning
No
Real-Time Analytics
No
Source Code Scanning
No
Vulnerability Scanning
No
Static Code Analysis
Analytics / Reporting
No
Code Standardization / Validation
No
Multiple Programming Language Support
No
Provides Recommendations
No
Standard Security/Industry Libraries
No
Vulnerability Management
No
