Software Specification Processing System

This invention is directed towards software development and testing process. The specifications supplied for the development is used and is put along with the program code. Logical functions and Logical predicates can be defined in this framework along with the program code itself to assist in defining specifications. Assertions are inserted along with code statements to describe the state of machine before and after the code statement. The logic engine verifies the assertions for their correctness, hence proving the program code does meet the specifications. The specifications are embedded into the executable or the library whichever is created so that anyone using the library or executable can verify if it is what is needed.