What are the key principles and methodologies used in computer science proofs?

In computer science proofs, key principles and methodologies include logic, induction, contradiction, and formal reasoning. These are used to demonstrate the correctness and efficiency of algorithms and systems.