首页>外文会议>International Conference on Verified Software: Theories, Tools and Experiments

International Conference on Verified Software: Theories, Tools and Experiments

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Proof-Sensitive Approach for Small Propositional Interpolants

机译：小命题内插的证明敏感方法
- 作者：Leonardo Alt;Grigory Fedyukovich;Antti E.J. Hyvaerinen;Natasha Sharygina
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
2.Recursive Games for Compositional Program Synthesis

机译：用于组合程序合成的递归游戏
- 作者：Tewodros A. Beyene;Swarat Chaudhuri;Corneliu Popeea;Andrey Rybalchenko
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
3.Testing the IPC Protocol for a Real-Time Operating System

机译：测试实时操作系统的IPC协议
- 作者：Achim D. Brucker;Oto Havle;Yakoub Nemouchi;Burkhart Wolff
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
- Test program generation;
- Symbolic test case generations;
- Black box testing;
- Testing operating systems;
- Certification;
- CC;
- Concurrency;
- Interleaving;
4.Pseudo-Random Number Generator Verification: A Case Study

机译：伪随机数生成器验证：一个案例研究
- 作者：Felix Doerre;Vladimir Klebanov
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
5.Inside a Verified Flash File System: Transactions and Garbage Collection

机译：在经过验证的Flash文件系统中：事务和垃圾回收
- 作者：Gidon Ernst;Joerg Pfaehler;Gerhard Schellhorn;Wolfgang Reif
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
- Flash File Systems;
- Formal verification;
- Specification;
- Transactions;
- Garbage collection;
- Write buffer;
- KIV;
6.How to Avoid Proving the Absence of Integer Overflows

机译：如何避免证明没有整数溢出
- 作者：Martin Clochard;Jean-Christophe Filliatre;Andrei Paskevich
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
7.Machine-Checked Proofs for Realizability Checking Algorithms

机译：用于可实现性检查算法的机器检查证明
- 作者：Andreas Katis;Andrew Gacek;Michael W. Whalen
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
8.Dynamic Frames Based Verification Method for Concurrent Java Programs

机译：并发Java程序的基于动态框架的验证方法
- 作者：Wojciech Mostowski
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
9.A Simpler Reduction Theorem for x86-TSO

机译：x86-TSO的更简单约简定理
- 作者：Jonas Oberhauser
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
- Store buffer reduction;
- Order reduction;
- Relaxed memory;
- Sequential consistency;
- Consistency points;
- Compiler optimization;
- Verification;
10.Moving Around: Lipton's Reduction for TSO (Regular Submission)

机译：四处走动：Lipton降低了TSO（常规提交）
- 作者：Ali Sezgin;Serdar Tasiran
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
11.Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover

机译：ACL2定理证明中的Android平台建模和Android应用验证
- 作者：Eric Smith;Alessandro Coglio
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
12.AUSPICE: Automatic Safety Property Verification for Unmodified Executables

机译：AUSPICE：未经修改的可执行文件的自动安全属性验证
- 作者：Jiaqi Tan;Hui Jun Tay;Rajeev Gandhi;Priya Narasimhan
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年
13.Preface

机译：前言
- 作者：Arie Gurfinkel;Sanjit A. Seshia
- 会议名称：《International Conference on Verified Software: Theories, Tools and Experiments》 | 2016年