Integrating Formal Methods and Interaction Design
First written in FY2016. 4 of 7 entries say "Advanced", first in FY2020. Latest entry: FY2026.
No other company in this theme has enough history to compare yet.
- FY2026AdvancedAnnual report
「From the fiscal year under review, we began research applying to AI the mechanisms by which living organisms learn behavior. This AI is intended to acquire greater verification capabilities than before by also using large language models, a foundational technology underlying recent AI. During the fiscal year under review, we examined the feasibility of the technology and proceeded with the development of prototype software.」
In research on formal specifications and model checking, we began research using the learning mechanisms of living organisms and large language models, and proceeded through feasibility studies to the development of prototype software. - FY2025AdvancedAnnual report
「At the Advanced Technology Laboratory, we are conducting research using AI technology that draws on emergent properties arising from the collective behavior of living organisms.」
AI technology was combined with existing research on formal methods and model checking, advancing the efficiency of inspection technology based on multiple groups and culminating in presentations. - FY2021AdvancedAnnual report
「During the fiscal year under review, we developed model-checking technology using computational techniques widely used in scientific and engineering computation and presented it at an academic conference in Japan.」
In research on formal methods and model checking, we developed technology using scientific and engineering computation and presented it at a domestic academic conference. - FY2020AdvancedAnnual report
「At 株式会社ＳＲＡ's Advanced Technology Research Institute, we are working in research and development to develop methods that integrate formal methods, techniques for constructing programs that are mathematically correct; model checking, techniques for automatically verifying the correctness of program behavior; and interaction technologies, techniques for achieving visual user interfaces with a high standard of usability.」
The research method integrating formal methods and interaction design has been continued and further developed by adding model checking. - FY2018RestatedAnnual report
「As an area of research and development, we continue to work on developing methods that integrate formal methods, techniques for constructing programs that are mathematically correct, and interaction design, methods for building user interfaces with a high standard of usability.」
Research integrating formal methods and interaction design is continuing. - FY2017RestatedAnnual report
「At the Advanced Technology Research Institute, we are pursuing an innovative approach that combines the “interaction design” and “formal methods” we have worked on to develop specifications that deliver not only functional quality but also high usability and a high-quality user experience.」
The research policy of integrating formal methods and interaction design is continuing. - FY2016First statedAnnual report
「We are advancing the integration of formal methods, a field of research at the forefront internationally involving techniques for constructing programs that are mathematically correct, and interaction design, methods for building user interfaces with a high standard of usability, in the form of development processes and educational support.」
Formal methods are being combined with interaction design and applied to development processes and educational support.