Getting Started with Dafny: A Guide

机译：DAFNY入门：指导

获取原文

页面导航

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

摘要

Common program specification and verification build on concepts like method pre- and postconditions and loop invariants. These lectures notes teach those concepts in the context of the language and verifier Dafny.

机译：常见的程序规范和验证构建在方法上和后期后的概念上，循环不变。这些讲座说明在语言和验证者Dafny的背景下教导这些概念。

著录项

来源
《NATO advanced study institute on tools for analysis and verification of software safety and security》|2012年||共30页
会议地点
作者
Jason KOENIG; K. Rustan M. LEINO;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类安全保密;
关键词
automatic program verification; program specification; dafny; precondition; postcondition; loop invariant; termination specification;

机译：自动编程验证;程序规范;dafny;precondition;postcondition;循环不变;终止规范;

相似文献

外文文献
中文文献
专利

1. An Assertional Proof of Red-Black Trees Using Dafny [J] . Pena Ricardo Journal of Automated Reasoning . 2020,第4期

机译：使用DAFNY的红黑树的一个分子证明
2. Accessible Software Verification with Dafny [J] . K. Rustan M. Leino IEEE Software . 2017,第6期

机译：使用Dafny进行无障碍软件验证
3. Transforming Event-B Models to Dafny Contracts [J] . Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh Electronic Communications of the EASST . 2015,第11期

机译：将Event-B模型转换为Dafny合同
4. Getting Started with Dafny: A Guide [C] . Jason KOENIG, K. Rustan M. LEINO NATO advanced study institute on tools for analysis and verification of software safety and security . 2012

机译：DAFNY入门：指导
5. Identifying a Starting Point for the Guided Reinvention of the Classification of Chemically Important Symmetry Groups [D] . ?Bergman, Anna Marie 2020

机译：识别出导向化学重要对称组分类的引导性的起点
6. When to start ART in Africa – primarily guided by RCTs or patient autonomy? [O] . Wim Delva, Yvette Fleming, Lois Chingandu 2013

机译：何时在非洲开展抗逆转录病毒治疗-主要在RCT或患者自主权的指导下？
7. Review: Basic Vision: An Introduction to Visual Perception, Cognitive Psychology (4th Edition), Ethical Issues and Guidelines in Psychology, Evaluating Research Methods in Psychology, Getting Started with Neurofeedback, Handbook of the Teaching of Psychology, Human Neuropsychology (2nd Edition), Introduction to Research Methods and Statistics in Psychology, Physiology of Behavior (8th Edition), Psychology (7th Edition), Speaking as a Professional: Enhance Your Therapy or Coaching Practice through Presentations, Workshops and Seminars, Systematic Reviews in the Social Sciences: A Practical Guide, Teaching with Emotional Intelligence: A Step-by-Step Guide for Higher and Further Educational Professionals [O] . Mike Griffiths, David Hardman, Andrew Rutherford, 2007

机译：综述：基本愿景：视觉感知，认知心理学（第4版），道德问题和心理学指南的介绍，评估心理学研究方法，Neurofeach背诵，心理学教学手册，人类心理学（第2版），心理学研究方法和统计介绍，行为的生理学（第8版），心理学（第7版），通过演讲，研讨会和研讨会提升您的治疗或教练实践，社会科学的系统评价：实用指导，带情商的教学：高级和更多教育专业人士的逐步指南
8. Training Guides for the Head Start Learning Community: Setting the Stage.Including Children with Disabilities in Head Start [R] . 1997

机译：首发学习社区培训指南：设定阶段，包括残疾儿童在一开始就做好准备

Getting Started with Dafny: A Guide

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅