Minimizing program errors with a tool suite that integrates formal verification and static verification.
"SPARK Pro" is a toolset that uses a formally verifiable subset of the Ada 2012 language, bringing mathematically-based reliability to software verification. With this product, you can formally define and automatically verify software architecture requirements. It can reduce runtime errors and guarantee properties related to a wide range of software integrity, such as the application of safety properties or security policies, and compliance with functional accuracy (conformance to formally defined specifications). [Features] - Data flow analysis - Information flow analysis - Detection of runtime exceptions - Property checking - Level-based verification *For more details, please refer to the PDF materials or feel free to contact us.
Inquire About This Product
basic information
【Level-Based Verification】 ■Stone - Write safe programs due to the constraints of the SPARK language. ■Bronze - Use data flow analysis and information flow analysis to eliminate extensive errors such as references to uninitialized variables. ■Silver - Verify that there are no runtime errors. ■Gold - Use proofs to verify critical properties of the software. ■Platinum - Prove that critical code meets functional specifications. *For more details, please refer to the PDF document or feel free to contact us.
Price range
Delivery Time
Applications/Examples of results
For more details, please refer to the PDF document or feel free to contact us.
catalog（1）
Download All Catalogs
Company information
IT Access was founded in 2000 as a software vendor that combines the functions of a trading company and a system integrator. With an eye on the arrival of the IoT era, the company has been discovering and providing high-quality software both domestically and internationally, as well as developing solutions tailored to customer needs. Through these efforts, IT Access has successfully completed numerous challenging projects and built trusting relationships with its clients, leading to its growth. Currently, the company is leveraging its accumulated technical expertise to focus on creating new businesses. In particular, in the fintech sector, it has consistently developed a non-face-to-face cloud payment system from terminals to servers in-house. This service, which offers high convenience, has rapidly expanded and has become a pillar driving the company's growth. Moving forward, in addition to further expanding its fintech business, IT Access aims to create new services and products and pursue global expansion. Ultimately, the goal is to become a company that shines on the world stage, fostering a corporate culture that embraces entrepreneurial spirit and diversity, and promoting the creation of an organization that continues to innovate. The company is evolving towards a future where it aims to create an ecosystem that brings happiness to all involved and contributes to societal development. Please feel free to contact us if you have any inquiries.