A tool suite that integrates formal verification and static verification to minimize program errors.
"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 for 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, it has been discovering and providing high-quality software both domestically and internationally, while also developing solutions tailored to customer needs. Through these efforts, the company has successfully completed numerous challenging projects and built trusting relationships with its clients, leading to its growth. Currently, the company is focusing on creating new businesses by leveraging the technical expertise it has developed over the years. 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. Looking ahead, in addition to further expanding its fintech business, the company aims to create new services and products and pursue global expansion. Ultimately, its goal is to become a shining company on the world stage by fostering a corporate culture that embraces entrepreneurial spirit and diversity, and by promoting the creation of an organization that continues to innovate. The company is evolving towards the future with the aim of realizing an ecosystem that brings happiness to all involved and contributes to societal development. Please feel free to contact us if you have any inquiries.
![From 3,800 yen per month! Drawing extraction software [Hiroi-kun III]](https://image.www.ipros.com/public/product/image/6fa/2000427209/IPROS55611006962734180921.png?w=280&h=280)
![[IT Introduction Subsidy Eligible] Drawing Extraction/Estimation Software Rakuou Series](https://image.www.ipros.com/public/product/image/5cb/2000817034/IPROS47376742326997115912.png?w=280&h=280)