变迁断言英文解释翻译、变迁断言的近义词、反义词、例句
英语翻译：
【计】 transition assertion
分词翻译：
变迁的英语翻译：
flux; vicissitude; whirligig
【医】 transition
断言的英语翻译：
declare; assert; affirm; allege; avouch; predicate; pronounce; protest
【法】 affirm; affirmance; allegation; allege; assert; assertion; avouch
avouchment
网络扩展解释
变迁断言
变迁断言的中文拼音是biàn qiān duàn yán，可以简称为BQDY。
变迁断言是指针对一个系统或者一个程序的所有可能执行路径，在这些路径上的某个位置是否满足某个条件。
英语解释翻译：Temporal Assertion
英文读音是tem-puh-ruhl uh-sur-shun。
英文用法：A temporal assertion is a statement that describes the behavior of a program or system over time.
英文例句：The temporal assertion states that the value of variable X will always be greater than 0 during the execution of the program.
英文近义词：LTL (Linear Temporal Logic)，CTL (Computational Tree Logic)，TCTL (Timed Computational Tree Logic)
英文反义词：不存在反义词
英文单词常用度：在计算机科学领域中使用频率较高