/NASA-s-PVS

Using NASA's PVS theorem proving library to formally specify COMPLETE, DISJOINT and WELL-DEFINED software specifications.

NASA-s-PVS

Using NASA's PVS theorem proving library to formally specify COMPLETE, DISJOINT and WELL-DEFINED software specifications.