NASA PVS Library of Formal Developments