當前SCADE 在2020 R1版本中包含了Prover Technology的Design Verifier引擎，Design Verifier引擎里內置了SAT解算器，可以對SCADE模型進行模型檢查，當結果為錯誤時，自動給出反例的測試用例。