Fujitsu Laboratories of Americaと富士通研究所は1月12日、Javaプログラムのデータに対し、プログラムの動作が仕様に合っているかを自動的に検証する技術を開発し、Webアプリケーション数万行を検証することに成功した。 同技術は、NASA(National Aeronautics and Space ...
Fujitsu Laboratories of America Inc.と富士通研究所は12日、Javaプログラムで入力されるさまざまなデータに対して、プログラムの動作が仕様に合っているかを人手を介さず自動的に検証する技術を開発したと発表した。Webアプリケーション数万行の検証に成功したと ...
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., ...
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 ...
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.’ ...
Abstract: Java Pathfinder (JPF) is one of the most mature software model checker developed by NASA for detecting errors lurking in concurrent Java programs. However, the use of JPF often leads to the ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する
フィードバック