• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

JPF verification of habanero Java programs.

Peter AndersonBrandon ChaseEric Mercer
Published in: ACM SIGSOFT Softw. Eng. Notes (2014)
Keyphrases
  • java programs
  • multi threaded
  • software components
  • java language
  • test suite
  • java virtual machine
  • real world
  • artificial intelligence
  • multi agent systems
  • open source
  • operating system