2 projects for "environment-modules" with 2 filters applied:

  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 1
    PLEXIL (plan execution software)

    PLEXIL (plan execution software)

    Plan execution language and executive

    ...PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools. It runs on Unix-based computers, including macOS and Linux.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    3A-TRE

    3A-TRE

    3A-TRE evaluates traditionally logical expressions under 3 assumptions

    ...The closed world assumption (CWA) is the assumption that any statement that is not known to be true is false. We distinguish yet another case in software testing. Frequently, there are test stubs which simulate the behaviors of the dependent test modules. In this case, the dependent test modules are always assumed to be true when their results are not available. We call this a stub assumption (SA). 3A-TRE example: echo "CWA: (T and U)" | java -jar PTRE.jar Result: F 3A-PTRE example: (P means possible results) echo "OWA: (T,U and U,F)" | java -jar PTRE.jar Result: U,F
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo