Date of Award
2006
Document Type
Project
Degree Name
Master of Science in Computer Science
Department
School of Computer Science and Engineering
First Advisor
Botting, Richard
Second Advisor
Voigt, Kerstin
Third Advisor
Georgiou, George
Abstract
This project created a program that takes predicate calculus formulas and creates a visual Semantic Tableaux truth tree, thereby proving or disproving a conclusion. Formal methods used in developing and verifying software and hardware are mathematically based techniques for describing and reasoning about system properties. Such formal methods provide frameworks within which people specify, develop, and verify systems in a systematic, rather than ad hoc, manner. Formal methods include the more specific activities of program specification, program verification and hardware verification.
Recommended Citation
Vadaparty, Sirisha Lakshmi, "Semantic tableaux program" (2006). Theses Digitization Project. 2953.
https://scholarworks.lib.csusb.edu/etd-project/2953