Multiple verification in computational modeling of bone pathologies