formal specification; program verification; smart cards; specification languages; algorithmic verification technique; compositional reasoning technique; compositional verification; control flow graph; dynamic loading; inlining transformation; interface abstraction;
机译:应用于不透明度验证的组合可见双仿真抽象
机译:应用于不透明度验证的组合可见双仿真抽象
机译:使用Horn子句和模式抽象对PLC软件进行成分验证
机译:合成验证的界面抽象
机译:用于验证并发数据结构的组成抽象
机译:基于抽象的神经网络验证框架
机译:通过抽象改进的多价系统组成验证的框架
机译:具有抽象,学习和saT解决的成分验证。