Semantic tableaux program

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...

Full description

Bibliographic Details
Main Author:	Vadaparty, Sirisha Lakshmi
Format:	Others
Published:	CSUSB ScholarWorks 2006
Subjects:	Formal methods (Computer science) Computer software Development Computer input-output equipment Development System design System design. Software Engineering
Online Access:	https://scholarworks.lib.csusb.edu/etd-project/2953 https://scholarworks.lib.csusb.edu/cgi/viewcontent.cgi?article=3970&context=etd-project

id	ndltd-csusb.edu-oai-scholarworks.lib.csusb.edu-etd-project-3970
record_format	oai_dc
spelling	ndltd-csusb.edu-oai-scholarworks.lib.csusb.edu-etd-project-39702019-10-23T03:34:14Z Semantic tableaux program Vadaparty, Sirisha Lakshmi 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. 2006-01-01T08:00:00Z text application/pdf https://scholarworks.lib.csusb.edu/etd-project/2953 https://scholarworks.lib.csusb.edu/cgi/viewcontent.cgi?article=3970&context=etd-project Theses Digitization Project CSUSB ScholarWorks Formal methods (Computer science) Computer software Development Computer input-output equipment Development System design Computer software Development Formal methods (Computer science) System design. Software Engineering
collection	NDLTD
format	Others
sources	NDLTD
topic	Formal methods (Computer science) Computer software Development Computer input-output equipment Development System design Computer software Development Formal methods (Computer science) System design. Software Engineering
spellingShingle	Formal methods (Computer science) Computer software Development Computer input-output equipment Development System design Computer software Development Formal methods (Computer science) System design. Software Engineering Vadaparty, Sirisha Lakshmi Semantic tableaux program
description	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.
author	Vadaparty, Sirisha Lakshmi
author_facet	Vadaparty, Sirisha Lakshmi
author_sort	Vadaparty, Sirisha Lakshmi
title	Semantic tableaux program
title_short	Semantic tableaux program
title_full	Semantic tableaux program
title_fullStr	Semantic tableaux program
title_full_unstemmed	Semantic tableaux program
title_sort	semantic tableaux program
publisher	CSUSB ScholarWorks
publishDate	2006
url	https://scholarworks.lib.csusb.edu/etd-project/2953 https://scholarworks.lib.csusb.edu/cgi/viewcontent.cgi?article=3970&context=etd-project
work_keys_str_mv	AT vadapartysirishalakshmi semantictableauxprogram
_version_	1719275458898427904

Semantic tableaux program

Similar Items