input assertion 0 afirmación de entrada, aserción - Expresión lógica con una o más condiciones sobre las entradas del programa que se deben satisfacer para que la expresión sea cierta. 1997-01-18 output assertionafirmación de salida, aserto -