跳到内容
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 预览资料
关闭预览资料
正在查...

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

著者: Viktor Kuncak; Andrey Rybalchenko
出版商: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
丛书: Lecture notes in computer science, 7148.
版本/格式:   电子图书 : 文献 : 会议刊物 : 英语查看所有的版本和格式
数据库:WorldCat
提要:
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of  再读一些...
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

附加的形体格式: Printed edition:
材料类型: 会议刊物, 文献, 互联网资源
文件类型: 互联网资源, 计算机文档
所有的著者/提供者: Viktor Kuncak; Andrey Rybalchenko
ISBN: 9783642279409 3642279406
OCLC号码: 778886115
描述: 1 online resource.
内容: Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data / Ahmed Bouajjani, Cezara Drăgoi --
Software Verification with Liquid Types / Ranjit Jhala --
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs / Tobias Nipkow --
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification / Aws Albarghouthi, Arie Gurfinkel --
Synchronizability for Verification of Asynchronously Communicating Systems / Samik Basu, Tevfik Bultan, Meriem Ouederni --
On the Termination of Integer Loops / Amir M. Ben-Amram, Samir Genaim --
Verification of Gap-Order Constraint Abstractions of Counter Systems / Laura Bozzelli, Sophie Pinchinat --
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking / Dmitry Bugaychenko --
Regression Verification for Multi-threaded Programs / Sagar Chaki, Arie Gurfinkel, Ofer Strichman --
Crowfoot: A Verifier for Higher-Order Store Programs / Nathaniel Charlton, Ben Horsfall --
Synthesizing Protocols for Digital Contract Signing / Krishnendu Chatterjee, Vishwanath Raman --
Model Checking Information Flow in Reactive Systems / Rayna Dimitrova, Bernd Finkbeiner --
Splitting via Interpolants / Evren Ermis, Jochen Hoenicke --
Automatic Inference of Access Permissions / Pietro Ferrara, Peter Müller --
Lazy Synthesis / Bernd Finkbeiner, Swen Jacobs --
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation / Khalil Ghorbal, Franjo Ivančić --
Inferring Canonical Register Automata / Falk Howar, Bernhard Steffen, Bengt Jonsson --
Alternating Control Flow Reconstruction / Johannes Kinder, Dmitry Kravchenko --
Effective Synthesis of Asynchronous Systems from GR(1) Specifications / Uri Klein, Nir Piterman, Amir Pnueli --
Sound Non-statistical Clustering of Static Analysis Alarms / Woosuk Lee, Wonchan Lee, Kwangkeun Yi.
丛书名: Lecture notes in computer science, 7148.
责任: edited by Viktor Kuncak, Andrey Rybalchenko.
更多信息:

摘要:

Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012,  再读一些...

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/778886115>
library:oclcnum"778886115"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/778886115>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:creator
schema:datePublished"2012"
schema:description"This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1083207244>
schema:inLanguage"en"
schema:name"Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings"
schema:publisher
schema:url<http://site.ebrary.com/id/10656535>
schema:url
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.