Sign in

Verifying Object-Oriented Programs with KeY: A Tutorial.

Wolfgang AhrendtBernhard BeckertReiner HähnlePhilipp RümmerPeter H. Schmitt
Published in: FMCO (2006)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • knowledge base
  • database systems
  • multi agent systems
  • rough sets
  • model checking