- published: 10 Jul 2015
- views: 21861
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics[citation needed].
Complete formal verification is the only known way to guarantee that a system is free of programming errors.
Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. Examples of mathematical objects often used to model systems are: finite state machines, labelled transition systems, Petri nets, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.[citation needed]
William Lane Craig (born August 23, 1949) is an American analytic philosopher, philosophical theologian, and Christian apologist. He is known for his work in the philosophy of religion, philosophy of time, and the defense of Christian theism. One of his most notable contributions to the philosophy of religion is his defense of the Kalām cosmological argument, which is the most widely discussed argument for the existence of God in contemporary Western philosophy. In theology, he has also defended Molinism and the belief that God is, since Creation, subject to time.
Craig has authored or edited over 30 books, including The Kalām Cosmological Argument (1979), The Cosmological Argument from Plato to Leibniz (1980), Theism, Atheism, and Big Bang Cosmology (with Quentin Smith, 1993), Philosophical Foundations for a Christian Worldview (with J.P. Moreland, 2003) and Reasonable Faith: Christian Truth and Apologetics (3d edition, 2008).
Craig received a Bachelor of Arts degree in communications from Wheaton College, Illinois, in 1971 and two summa cum laude master's degrees from Trinity Evangelical Divinity School in Deerfield, Illinois, in 1975, in philosophy of religion and ecclesiastical history. He earned a Ph.D. in philosophy under John Hick at the University of Birmingham, England in 1977 and a Th.D. under Wolfhart Pannenberg at the University of Munich in 1984.