Grand Challenge: Model Check Software.

Edmund M. Clarke Himanshu Jain Nishant Sinha

Published in: VISSAS (2005)

Keyphrases

management system
computational model
conceptual model
simulation model
grand challenge
objective function
probabilistic model
decision trees
object oriented
metamodel
software design