Software verification, validation, and automation are intrinsic to Aversan’s operations, and have formed an important part of our business since its inception in 2003. Through