MONNERET CLEMENT

System and method for automatic standardization and verification of system design requirements