Terms containing assertion-based

Subject	English	Russian
progr.	assertion-based	на основе утверждений (ssn)
progr.	assertion-based verification	верификация на основе утверждений (ssn)
gen.	make broad assertions that are not based in fact	делать необоснованные обобщения (New York Times Alex_Odeychuk)
progr.	Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner	Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)