A futásidejű monitor...
...csak a rendszer kimeneteit figyeli. ...bemeneti és kimeneti invariánsokat ellenőriz futás közben. ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás közben. ...része a specifikáció alapján elkészült rendszernek.