首页> 外文OA文献 >Static Verification Tools for C Programs and Linux Device Drivers: A Survey

【2h】

Static Verification Tools for C Programs and Linux Device Drivers: A Survey

机译：C程序和Linux设备驱动程序的静态验证工具：调查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
A.V. Khoroshilov; M.U. Mandrykin; V.S. Mutilin; E.M. Novikov;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Using Linux Device Drivers for Static Verification Tools Benchmarking [J] . M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, Programming and Computer Software . 2012,第5期

机译：使用Linux设备驱动程序进行静态验证工具基准测试
2. A tool for converting Linux device drivers into Solaris compatible binaries [J] . Sean McIlwain, Barton P. Miller Software . 2006,第7期

机译：用于将Linux设备驱动程序转换为Solaris兼容二进制文件的工具
3. Programming Windows NT device drivers to operate non-interrupting embedded devices [J] . Tomer Karin, Shlomo Weiss Microprocessors and microsystems . 2004,第1期

机译：对Windows NT设备驱动程序进行编程以操作不间断的嵌入式设备
4. Static driver verifier, a formal verification tool for Windows device drivers [C] . Levin V. Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on . -1

机译：静态驱动程序验证程序，Windows设备驱动程序的正式验证工具
5. Task Mapping and NI Device Driver for NoC based architecture with Linux kernel. [D] . Izquierdo Ustrell, Miquel. 2011

机译：用于带有Linux内核的基于NoC的架构的任务映射和NI设备驱动程序。
6. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices [O] . Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, 2021

机译：基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
7. Survey of memory modeling methods in static verification tools [O] . M.U. Mandrykin, V.S. Mutilin 2017

机译：静态验证工具中内存建模方法调查

Static Verification Tools for C Programs and Linux Device Drivers: A Survey

著录项

引文网络

相似文献

相关主题

期刊订阅