FoCs公司

FoCs——从正式规范中自动生成模拟检查程序。在可预见的未来,工业硬件设计将继续在设计验证过程中同时使用仿真和模型检查。到目前为止,这些技术是孤立地使用不同的工具和方法,以及对问题的不同表述。这导致了累积的高成本和很少(如果有的话)交叉利用模拟和形式验证的个别优势


zbMATH中的参考文献(参考 20篇文章 参考,1标准件)

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. Eisner,Cindy;Fisman,Dana:通过时序逻辑实现硬件功能规范(2018)
  2. Bozzelli,Laura;Sánchez,César:布尔流运行时验证的基础(2016)
  3. Reinbacher,Thomas;Függer,Matthias;Brauer,Jörg:嵌入式实时系统的运行时验证(2014)
  4. Tabakov,Deian;Rozier,Kristin Y.;Vardi,Moshe Y.:SystemcC的优化时间监视器(2012)
  5. Jones,Kevin D.;Konrad,Victor;Ničković,Dejan:模拟属性检查器:DDR2案例研究(2010)
  6. Ben David,Shoham;Fisman,Dana;Ruah,Sitvanit:在正则表达式中嵌入有限自动机(2008)
  7. Fey,Görschwin;Drechsler,Rolf:现代设计流中的健壮性和可用性(2008)
  8. Jin,Naiyong;Shen,Cheng Jie;Chen,Jun;Ni,Taoyong:基于断言(PSL^\textSimple)-Verilog动态验证器的交替自动机工程(2008)ioport公司
  9. Maler,Oded;Nickovic,Dejan;Pnueli,Amir:检查离散、定时和连续行为的时间特性(2008)
  10. Katelman,Michael;Meseguer,José:用应用于硬件/软件协同设计和分析的ABEL重写语义(2007)
  11. 陈曦;谢赫,哈里;巴拉林,费利斯:面向嵌入式系统的大都市设计框架验证方法(2006)
  12. 陈曦;罗,严;谢赫,哈里;布扬,拉斯米;巴拉林,费利斯:IP地址查找算法的调查与分类(2005)ioport公司
  13. Tabakov,Deian;Vardi,Moshe Y:经典自动机结构的实验评估(2005)
  14. Maler,Oded;Nickovic,Dejan:监测连续信号的时间特性(2004)
  15. 时间逻辑;大卫·艾森克,断背逻辑;丹尼·艾森克,逻辑。(2003年)
  16. Gordon,Michael J.C.:使用自动推理验证PSL/Sugar语义(2003)
  17. Gordon,Mike;Hurd,Joe;Slind,Konrad:通过机械化定理证明执行Accelera属性规范语言的形式语义(2003)
  18. Håkansson,Jonsson,Bengt;Lundqvist,Ola:从时序逻辑规范生成在线测试预言(2003)ioport公司
  19. Esparza,Javier;Schwoon,Stefan:一种基于BDD的递归程序模型检查器(2001)
  20. Abarbanel,Yael;Beer,Ilan;Gluhovsky,Leonid;Keidar,Sharon;Wolfsthal,Yaron:FoCs——根据正式规范自动生成模拟棋盘格(2000)