App Checkers : Projecte de verificació de la fiabilitat d'una app