Kazuya Kikunaga (Researcher), Kazuhiro Nonaka (Leader), Kazufumi Sakai (Invited Senior Researcher), and Toshihiro Kamohara (AIST Postdoctoral Researcher), Optical Measurement Solution Team, the ...

Static analysis has established itself as a "must-have" for the verification of critical software. Notably, it can find problems that are hard to uncover by testing, such as concurrency issues and ...