标签： properties uppaal
我想在属性＆＃34中写这个语句;如果在时间t的输入是0并且在时间t + 1的输入是1，那么系统复位将是1＆＃34; 我是这样写的，
xin（t）== 0＆amp;＆amp; xin（t + 1）== 1 - ＆gt;复位== 1。
但它显示错误＆＃34;功能预期＆＃34;。 我怎么写一个函数。
由于
答案 0 :(得分：0)
假设t是时钟且xin是变量，请尝试将其作为查询：
t
xin
t==0 && xin==0 --> t==1 && xin==1 imply reset==1