Computer-assisted proofs for chaotic and stability behaviour in dynamical systems