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

JKelloy: A Proof Assistant for Relational Specifications of Java Programs.

Aboubakr Achraf El GhaziMattias UlbrichChristoph GladischShmuel S. TyszberowiczMana Taghdiri
Published in: NASA Formal Methods (2014)
Keyphrases
  • java programs
  • multi threaded
  • software components
  • java language
  • data model
  • relational databases
  • java virtual machine
  • real world
  • data management
  • test suite