Full threadRavlaAlvar·Do life dependent code like those in NASA use these type of method to validate their system?View on HN