TXP公司 swMATH ID: 32264 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 描述： 使用TXP的动态断言。本文提出了一种新的时态属性规范语言TXP。该语言旨在支持在模拟运行时对时态属性进行动态监控，并为形式属性检查提供输入规范。对于硬件系统的设计验证，硬件描述语言（HDL）提供了建模功能，但对于逻辑关系涉及多周期行为的复杂断言的简明规范来说，它们是不够的。TXP是一种声明性语言，它基于值和事件序列上的正则表达式提供了一组丰富的运算符。它的主要功能是允许多周期行为、过去或未来的时间移位操作、条件匹配、序列重复和对序列的限制。序列可以用“and”和“or”等逻辑连接词构造，以组成更复杂的断言。开发了一个TXP引擎，用于在运行时监视属性。 主页： https://www.sciencedirect.com/science/article/pii/S157106610400249X 相关软件： 爪哇-MaC;LTL2BA公司;自旋蛋白 引用于： 1文件 2位作者引用 1 马塞洛·达阿莫林 1 格里高·罗什乌 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文