Search Results for "java checkers"

x
Sort By:

Showing 3 open source projects for "java checkers"

View related business solutions
QA Automation Java Clear Filters & Widen Search
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Try It Free
  • 1
    Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    MetaCheck is a java code checking utility to convert results from various code checking tools (jcsc, pmd, checkstyle, findbugs, ...) into one uniform xml/html result for each of the checkers and for the generated meta result.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Supplementary checkers for CheckStyle, somehow less tested and mature than the standard checkers provided by CheckStyle, but that will be one day included into the standard distribution of Checkstyle, if approved.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Categories