机译:验证Java程序的时间规范
Univ Politecn Marche Ancona Italy;
Univ Politecn Marche Ancona Italy;
Alpen Adria Univ Klagenfurt Klagenfurt Austria;
Alpen Adria Univ Klagenfurt Klagenfurt Austria;
Alpen Adria Univ Klagenfurt Klagenfurt Austria;
Software model checking; Time-dependent behavior; Java; Timed automata; SMT; Predicate abstraction;
机译:JCML:一种用于Java Card程序的运行时验证的规范语言
机译:现有的Java API规范在运行时验证期间发现错误的效率如何?
机译:完善Java字节码验证的官方规范
机译:基于方案规范的Java程序的运行时验证
机译:面向静态验证JavaScript的实时编程环境
机译:早期神经发生的综合基因组分析揭示了Preplate和Cajal-Retzius神经元的分化和规范的时间遗传计划
机译:JCML:一种用于Java Card程序的运行时验证的规范语言