Semantic tableaux program

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

Internet

https://scholarworks.lib.csusb.edu/etd-project/2953
https://scholarworks.lib.csusb.edu/cgi/viewcontent.cgi?article=3970&context=etd-project

Similar Items