Specifications of reliable software | lit.salon