Search Results for "highlight"
Sort By:
Showing 2 open source projects for "highlight"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
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
