Java Program Verification Challenges.

Bart Jacobs Joseph Kiniry Martijn Warnier

Published in: FMCO (2002)

Keyphrases

programming language
object oriented
real time
lightweight
object oriented programming
open source
lessons learned
key issues
development environment
source code
java programs
application scenarios
technical challenges
clustering algorithm
website
artificial intelligence
learning algorithm
machine learning