GitHub

Java Pathfinder Workshop 2022

The goal of the workshop is to highlight current research and tools development for Java/Android program verification and analysis. Although the workshop’s theme revolves around the JPF tool, e.g., ...
IEEE

Towards model checking of computer games with Java PathFinder

Abstract: We show that Java source code of computer games can be checked for bugs such as uncaught exceptions by the model checker Java PathFinder (JPF). To model check Java games, we need to tackle ...
マイナビニュース

富士通研がJavaプログラムを網羅的に検証する技術を開発 - NASAが ...

Fujitsu Laboratories of Americaと富士通研究所は1月12日、Javaプログラムのデータに対し、プログラムの動作が仕様に合っているかを自動的に検証する技術を開発し、Webアプリケーション数万行を検証することに成功した。 同技術は、NASA(National Aeronautics and Space ...
SpaceNews

NASA Develops New Software to Detect Bugs in Java Computer Code

NASA scientists today announced they are releasing free software that will find ‘bugs,’ or defects, in Java computer code. The new software, Java Pathfinder, is classified as ‘open source software.’ ...