×
纳鸿·德肖维茨（编辑）

验证：理论与实践。在佐哈尔·曼纳64岁生日之际为他撰写的论文。 （英语） 兹比尔1045.68009

计算机科学课堂讲稿2772.柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。xv，783页。(2003).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章：
纳鸿·德肖维茨，Pan至Zohar Manna，1-10[Zbl 1274.01077号]
马丁·阿巴迪；Leino，K.Rustan M。，面向对象程序的逻辑，11-41[Zbl 1274.68055号]
拉杰夫·阿鲁尔，层次状态机的形式化分析，42-66[Zbl 1274.68172号]
本萨勒姆，萨德克；苏珊娜·格拉芙；亚辛·拉赫内奇，抽象作为不变量验证的关键，67-99[Zbl 1274.68176号]
曼弗雷德·布罗伊，非确定性交互系统规范和验证的函数演算，161-181[Zbl 1274.68178号]
坎通纳，多梅尼科；Omodeo，Eugenio G。；雅各布·T·施瓦茨。；彼得罗·乌西诺，校对员项目日志注释，182-207[Zbl 1274.68407号]
埃德蒙·克拉克；赫尔穆特·维思，重新审视反例：原理、算法、应用程序，208-224[Zbl 1274.68179号]
科蒙·隆德，休伯特；拉尔夫·特里宁，轻松扣除入侵者，225-242[兹比尔1201.68049]
帕特里克·库索特，通过抽象解释进行验证，243-268[Zbl 1274.68180号]
卢卡·德·阿尔法罗，开放系统的游戏模型，269-289[Zbl 1274.68208号]
艾丽卡·阿尔布拉汉姆；德波尔（Frank S.de Boer）。；威廉·鲍尔（Willem-Paul）；马丁·斯特芬，Java的组合操作语义（_{text{MT}}），290-303[Zbl 1274.68037号]
德肖维茨，纳丘姆；Jayasimha，D.N。；Park，Seungjoon公园，有限公平，304-317[Zbl 1274.68181号]
阿尔弗雷多·费罗；罗莎尔巴·朱格诺（Rosalba Giugno）；阿尔弗雷多·普维伦蒂，在软件组件测试的一般度量空间中高效生成边界值，318-331[Zbl 1274.68071号]
托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；鲁帕克马久姆达尔；Marco A.Sanvido。，极限模型检查，332-358[Zbl 1274.68190号]
杰拉德·休特，自动喷雾，359-372[Zbl 1274.68051号]
维杰·钱德鲁（Vijay Chandru）；Jean-Louis拉塞兹，线性约束下的定性定理证明，395-406[Zbl 1274.03019号]
纳扎雷诺·阿吉雷；汤姆·迈鲍姆，基于组件系统动态重构的时间推理的一些制度要求，407-435[Zbl 1274.03031号]
德尼古拉（De Nicola）、罗科（Rocco）；Gianluigi法拉利；乌戈·蒙塔纳里；罗萨里奥·普格利泽；埃米利奥·托斯托，可编程QoS推理的形式化基础，436-479[兹比尔1274.68022]
本·莫斯科夫斯基，命题时态逻辑的层次完备性证明，480-523[Zbl 1274.03034号]
克利须那五世·帕勒姆。，《作为实验的计算证明：热力学角度的概率算法》，524-547[兹比尔1274.68129]
Elsa Gunter；多龙·贝利德，单位检查：代码单位的符号模型检查，548-567[Zbl 1274.68188号]
巴甫洛维奇，杜斯科；彼得·佩珀（Peter Pepper）；道格·史密斯，并发收集器的Colimits，568-597[Zbl 1274.68212号]
阿米尔·普努利；塔马拉·阿隆斯,热释光阀：Apvs公司-基于ltl公司验证系统，598-625[Zbl 1274.68202号]
Enrico Marzano；安吉洛·蒙塔纳里（Angelo Montanari）；阿尔贝托，Policriti，S1S的二进制扩展和合成方法，626-644[Zbl 1274.03016号]
约翰·赖夫（John H.Reif）。；威廉·谢利斯。，推导高效的图形算法，645-681[Zbl 1274.68676号]
桑卡拉纳拉亚南，斯里拉姆；西普玛，亨尼；佐哈尔·曼纳，使用不变生成的Petri网分析，682-701[Zbl 1274.68253号]
奥纳·库普夫曼；尼尔·皮特曼；莫舍·瓦尔迪。，公平等价关系，702-732[Zbl 1274.68194号]
让·武伊勒明，数字代数和电路，733-746[Zbl 1274.94164号]
卡拉戈罗·扎尔巴。，组合集合与元素，762-782[Zbl 1274.68206号]

引用于2文件

MSC公司：

68-06 与计算机科学有关的论文集、会议、文集等
00B30型 费斯特施里夫滕
60年第68季度 规范和验证（程序逻辑、模型检查等）

传记参考文献：

佐哈尔·曼纳
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（2003；Zbl 1045.68009）
全文： 内政部