罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Form.Methods Syst。设计。55,编号2103-135(2019;兹bl 1427.68160) 全文: 内政部 arXiv公司
安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 SMT中基于反驳的合成。 (英语) Zbl 1427.68051号 形式方法系统。设计。 55,第2期,73-102(2019).MSC公司:68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。55,编号2,73-102(2019;Zbl 1427.68051) 全文: 内政部