Login / Signup

Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code.

Hannes Mehnert
Published in: NASA Formal Methods (2011)
Keyphrases
  • java code
  • functional verification
  • byte code
  • database
  • data mining
  • case study
  • software engineering