VeriDevOps aims at providing a faster feedback loop for verifying security requirements i.e. confidentiality, integrity, avai ... lability, authentication, authorization and other functional and extra-functional attributes of large scale industrial systems read more