Propositional Model Checking Algorithm Example Programming Languages