a runtime specification tool