1 paper
Shiraj Arora, M. V. Panduranga Rao
It is crucial for accurate model checking that the model be a complete and faithful representation of the system. Unfortunately, this is not always possible, mainly because of two…