Open Source Ada QA Automation Software
Sort By:
Ada QA Automation Software
View 5746 business solutionsBrowse free open source Ada QA Automation Software and projects below. Use the toggles on the left to filter open source Ada QA Automation Software by OS, license, language, programming language, and project status.
-
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
1
AdaControl
Ada source code controller
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. -
2
Checkstyle4Ada provides an extension to Checkstyle, which enables Checkstyle to be used with Ada95 sources. It is packaged as an Eclipse fragment, so it can be used with eclipse-cs without modification.
-
3
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
- Previous
- You're on page 1
- Next
