Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification
Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification
复制标题
走向跨抽象级别的验证流程 根据正式规范验证实现
DOI：
10.1109/tcad.2016.2611494
复制
发表时间：
2017
影响因子：
2.9
通讯作者：
P. Sanchez
中科院分区：
文献类型：
--
作者：
P. Gonzalez de Aledo;N. Przigoda;R. Wille;R. Drechsler;P. Sanchez
登录
查看更多内容
非线性（Ir）有理算术的可满足性
DOI：
10.1007/978-3-642-17511-4_27
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Harald Zankl;A. Middeldorp
通讯作者：
A. Middeldorp
DOI：
--
发表时间：
2015
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
Philipp Niemann;Frank Hilken;Martin Gogolla;R. Wille
通讯作者：
R. Wille
寻找声明性规范的最小不可满足核心
DOI：
--
发表时间：
2008
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Emina Torlak;F. Chang;D. Jackson
通讯作者：
D. Jackson
覆盖驱动的刺激生成
DOI：
--
发表时间：
2012
期刊：
2012 15th Euromicro Conference on Digital System Design
影响因子：
--
作者：
Shuo Yang;R. Wille;Daniel Große;R. Drechsler
通讯作者：
R. Drechsler
OCL 操作规范和不变量的覆盖范围
DOI：
--
发表时间：
2015
期刊：
TAP@STAF
影响因子：
--
作者：
Mathias Soeken;J. Seiter;R. Drechsler
通讯作者：
R. Drechsler