Description: Symbolic logic generally supports the reasoning with propositions, i.e., with statements to be evaluated to true or false. Temporal logic is a special branch of symbolic logic focusing on propositions whose truth values depend on time.
To Search:
File list (Check if you may need any files):
FORMAL VERIFICATION.doc