The goal of the workshop is to highlight current research and tools development for Java/Android program verification and analysis.
NASA scientists today announced they are releasing free software that will find ‘bugs,’ or defects, in Java computer code.