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
Accounting Software Built for Owners, and Their Clients
Make invoicing and billing painless for your small business with FreshBooks.
Balancing your books, client relationships, and business isn’t easy. FreshBooks gives you the info and time you need to focus on your big picture—your business, team, and clients.
Healthcare Xchange Protocol for interoperative communications. Data exchange/transfer, platform independent,XML-RPC, HL7, SOAP, EDIFACT, simple,easy, authenticated, secure, transparent, no geo-restrictions, open sourced, peer reviewed, collab development
MMOpenGraph is a set of JAVA-Classes to represent graphs within java. It can load and save graphs to serialized or text-based files and analyze graphs to find shortest paths.
Sniffer Server - decodes TCP streams and captures packets in general
The captured content may be saved to files or sent to a client over TCP/IP connection (self-defined protocol)
AI-powered contract management that helps businesses track spending, negotiate smarter, and never miss deadlines.
Concord serves small and mid-sized businesses and Fortune 500 companies. This robust, web-based platform is used by human resource, sales, procurement, and legal teams, and virtually anyone who deals with contracts.
MODVLO7 provides an environment for exploring harmonic prolongations in any piece of tonal music. It imports Scala files, and saves Scala files for future changes or study, and for rendering MIDI files in just intonation using Scala.
Computational modelling is a interdisciplinary field spanning many techniques and programming languages. AgenTools is a project dedicated to establishing increased modularity in scientific computing packages and a portal linking to other existing project
Dancing Networks attempts to create self-drawing diagrams by applying the laws of motion as we know them today. The process of the diagrams drawing themselves looks like a network that starts its dance in chaos but gravitates toward harmony and order.
An Evolution Simulator of Single Cells in a Pond. This shows a crosssection of
water with sun shining from above. A single cell is dropped in and has various genes. The cells multipy and evolve. See Files above for download and screenshot.
ZATreeX is a data manager with two control panels. The difference with conventional data managers is its ability to manage any tree structured data:you just have to implment a java interface. It is also able to extend it functionality (another interface)
JGV is a Java applet that lets you embed movable 3D objects in web pages. Users can rotate, scale, translate, select and annotate the objects interactively. Also, JGV supports XML-based transmission of user events to the source web server over HTTP.
Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca
Goal of Coatie3D project is the development of a 3D graph drawer/ viewer. The purpose of graph drawing is the identification of a pleasant layout for a given graph.
Kaph provides a portable (written in Java) method by which to display and guide users through multiple-subject research surveys. Configuration is handled via XML files. Support for a wide range of types of questions is provided.
Annotated Gel Markup Language is a simple markup language that is being proposed to markup data obtained by 2D gel electrophorosis.The goal of AGML is to enable proteomics research move into the browsing mode of searching through existing databases.
There are different files supplied. One program for webcam controlling inline with the orginal idé. And different help classes if you would like to do something yourself. Also a general package of classes to communicate with the RS232 port.
A Java-based system for the collection and display of data from a Dallas Semiconductor 1-wire personal weather station, as well as common additional 1-wire sensors.
Java based InputMethodEngine (ime) using the kmap-files from Yudit and the kmp files from Simredo. Currently support over 120 different languages/alphabets.
GeNetDB, contraction of Genetic Network Database, is a bioinformatic platform destined to the study of genetic regulatory networks. It contains in one place the data and the way to study them, providing the user an access to all tools needed for his work