Search Results for "c source code"
Sort By:
Showing 3 open source projects for "c source code"
View related business solutions-
PeerGFS PEER Software - File Sharing and CollaborationPeerGFS is a software-only solution developed to solve file management/file replication challenges in multi-site, multi-platform, and hybrid multi-cloud environments.
-
The most advanced C and C++ source code analyzerTrustInSoft 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.
-
1
Jason (AgentSpeak) implementation for Robocup Rescue, including launcher, TCP/UDP connection and agents for FireBrigade, FireStation, AmbulanceTeam, AmbulanceCenter, PoliceForce and PoliceStation.
-
2
Multi-agent system that helps to create fail-safe distributed storage in SOHO LAN. Source code has been published to GitHub: https://github.com/savermyas/JSaverStorage
-
3
Using agent technology JAMAS (Java Awareness Multi-Agent System) tries to assist distributed programmers in coordinating parallel development of Java code. E-JAMAS implements JAMAS and it’s features as a plug-in for the Eclipse platform.
- Previous
- You're on page 1
- Next
