先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
会议名
21st International Conference on Formal Methods in Computer Aided Design (FMCAD 2021)
中译名
《第二十一届国际计算机辅助设计的形式化方法会议》
机构
Institute of Electrical and Electronic Engineers (IEEE)
会议日期
19-22 October 2021
会议地点
Online
出版年
2021
馆藏号
342138
题名
作者
出版年
Reactive Synthesis Beyond Realizability
Rayna Dimitrova
2021
Stainless Verification System Tutorial
Viktor Kuncak; Jad Hamza
2021
Formal Methods for the Security Analysis of Smart Contracts
Mattei Maffei
2021
From Viewstamped Replication to Blockchains
Barbara Liskov
2021
Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V
Peter Sewell
2021
The FMCAD 2021 Student Forum
Mark Santolucito
2021
CocoAlma: A Versatile Masking Verifier
Vedad Hadzic; Roderick Bloem
2021
End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers
Dapeng Gao; Tom Melham
2021
Hardware Security Leak Detection by Symbolic Simulation
Neta Bar Kama; Roope Kaivola
2021
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition
Saranyu Chattopadhyay; Florian Lonsing; Luca Piccolboni; Deepraj Soni; Peng Wei; Xiaofan Zhang; Yuan Zhou; Luca Carloni; Deming Chen; Jason Cong; Ramesh Karri; Zhiru Zhang; Caroline Trippel; Clark Barrett; Subhasish Mitra
2021
Sound and Automated Verification of Real-World RTL Multipliers
Mertcan Temel; Warren A. Hunt
2021
IC3 with Internal Signals
Rohit Dureja; Arie Gurfinkel; Alexander Ivrii; Yakir Vizel
2021
Single Clause Assumption without Activation Literals to Speed-up IC3
Nils Froleyks; Armin Biere
2021
Logical Characterization of Coherent Uninterpreted Programs
Hari Govind V K; Sharon Shoham; Arie Gurfinkel
2021
Data-driven Optimization of Inductive Generalization
Nham Le; Xujie Si; Arie Gurfinkel
2021
Model Checking AUTOSAR Components with CBMC
Timothee Durand; Katalin Fazekas; Georg Weissenbacher; Jakob Zwirchmayr
2021
Automating System Configuration
Nestan Tsiskaridze; Maxwell Strange; Makai Mann; Kavya Sreedhar; Qiaoyi Liu; Mark Horowitz; Clark Barrett
2021
Towards an Automatic Proof of Lamport's Paxos
Aman Goel; Karem A. Sakallah
2021
Refinement-Based Verification of Device-to-Device Information Flow
Ning Dong; Roberto Guanciale; Mads Dam
2021
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota; Suvam Mukherjee; Chandrika Bhardwaj; Aseem Rastogi; Akash Lal
2021
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024