...
机译:PSL的符号编译
Embedded Syst. Unit, Inst. for Sci. & Technol. Res., Trento;
automata theory; formal specification; formal verification; temporal logic; binary decision diagram; hardware design cycle; linear temporal logic; modular encoding; natural formalism; nondeterministic generalized Buchi automata; property specification language; sequential extended regular expressions; specialized encoding; symbolic compilation; BÜchi automata; Binary Decision Diagram (${tt BDD}$; Property Specification Language (PSL); Satisfiability (${tt SAT}$); Sequential Extended Regular Expressions (SEREs); formal methods;
机译:特定于域的符号编译
机译:基于符号传递函数的认证编译方法
机译:通过其复杂组代数识别PSL(2,P)X PSL(2,P)
机译:结合符号仿真和Groebner基方法进行约束PSL属性验证
机译:用于数组计算的符号编译技术。
机译:铜绿假单胞菌的条件性Psl变体的分析揭示了Psl多糖在粘附中的作用并在附着后保持生物膜结构。
机译:1 psL的符号编译