Search Results for "education software"

x
Sort By:

Showing 3 open source projects for "education software"

View related business solutions
Source Code Analysis Java Software Testing Clear Filters & Widen Search
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    Start Free
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 1

    NPEDetector

    Null dereference verifier for Java Programs

    NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifi er, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Recognizes typical patterns in Java code which could be replaced with functions provided by open source libraries http://www.jnorm.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

auth0 logo