Search Results for "highlight"
Sort By:
Showing 2 open source projects for "highlight"
View related business solutions-
One Monitoring Tool for IT, OT and Cloud | Free TrialModern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Test Execution Assist
TEA is an Utility to assist software testers in execution phase
Test Execution Assist is an Utility to assist testers in execution phase with features like Collaborative execution environment, Custom Screen Capture, Snapshot Repository, Auto Report Generation, Auto ALM results upload. It is similar to the HP sprinter which is only available for testcases in HP ALM. Alternatively this application can be used with testcases in Excel format as well as ALM and will extended to other Test management solutions -
2
ESpin
SPIN-based Eclipse Model Checking Plugin
ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.
- Previous
- You're on page 1
- Next
