Now showing items 1-2 of 2
Software Verification Tools
(© P. H. Roosen-Runge, 1999, 2003, 2007, 2008)
This text explores the problem of verifying software in terms of a set of simple tools which can be used to symbolically evaluate and prove properties of pieces of programs, represented either abstractly in functional ...
A free-standing space elevator structure: a practical alternative to the space tether
Space tethers have been investigated widely as a means to provide easy access to space. However, the design and construction of such a device presents significant unsolved technological challenges. We propose an alternative ...