info:eu-repo/grantAgreement/FCT//PRT%2FBD%2F154519%2F2022/PTVERDI: Software engineering and verification techniques for distributed programming with replicated state