Using Rigorous methods to meet Specification of a software or hardware system. Ideas Formal Specification Formal Synthesis Formal Verification Techniques Specification Language Binary Decision Diagrams SAT Solvers Cases Ariane 5 Rocket Explosion