Validation and verification in and for Aion applications