Formal Definition Tool download

A Java based, command-line analysis tool for checking the conformance of data streams to the formal definition they are supposed to adhere. The formal definition itself should comply to RFC 2234 Augmented BNF for Syntax Specifications: ABNF or ASN.1

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Formal Definition Tool

Formal Definition Tool Web Site

Other Useful Business Software

Powerful Website Security | Continuous Web Threat Platform

Continuously detect, prioritize, and validate web threats to quickly mitigate security, privacy, and compliance risks.

Reflectiz is a comprehensive web exposure management platform that helps organizations proactively identify, monitor, and mitigate security, privacy, and compliance risks across their online environments. Designed to address the growing complexity of modern websites, Reflectiz provides full visibility and control over first, third, and even fourth-party components, such as scripts, trackers, and open-source libraries that often evade traditional security tools.

Learn More

Rate This Project

User Reviews

Be the first to post a review of Formal Definition Tool!

Additional Project Details

Languages

English

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Communications Software, Java Internet Software

Registered

2004-10-18

Similar Business Software

Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See Software
New Relic

There are an estimated 25 million engineers in the world across dozens of distinct functions. As every company becomes a software company, engineers are using New Relic to gather real-time insights and trending data about the performance of their software so they can be more resilient and...

See Software
Kasm Workspaces

Kasm Workspaces streams your workplace environment directly to your web browser…on any device and from any location. Kasm uses our high-performance streaming and secure isolation technology to provide web-native Desktop as a Service (DaaS), application streaming, and secure/private web...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
3Q

3Q GmbH is a leading European Video Platform provider for IT professionals and system administrators who demand absolute control over their streaming infrastructure. Unlike US-based providers who rely on external hyperscalers, 3Q operates a fully proprietary hardware and software stack, which is...

See Software
Pylon

Pylon is an All-in-one B2B Support Platform for modern B2B businesses. We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account...

See Software