首页>外文会议>其他>NATO advanced study institute on tools for analysis and verification of software safety and security

NATO advanced study institute on tools for analysis and verification of software safety and security

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Interactive Proof: Applications to Semantics

机译：互动证明：对语义的应用程序
- 作者：Gerwin KLEIN
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- isabelle;
- interactive theorem proving;
- semantics;
2.Model Checking: From BDDs to Interpolation

机译：模型检查：从BDD到插值
- 作者：Orna GRUMBERG
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
3.Interactive Proof: Introduction to Isabelle/HOL

机译：互动证明：Isabelle / Hol简介
- 作者：Tobias NIPKOW
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- semantics;
- theorem proving;
- isabelle;
4.Boolean Satisfiability Solvers: Techniques and Extensions

机译：布尔可满足求解器：技术和扩展
- 作者：Georg WEISSENBACHER;Sharad MALIK
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- satisfiability solving;
- propositional logic;
- automated decision procedures;
5.A Perspective on Information-Flow Control

机译：信息流控制的视角
- 作者：Daniel HEDIN;Andrei SABELFELD
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- security;
- confidentiality;
- integrity;
- information flow;
- noninterference;
6.Precise Program Analysis through Strategy Iteration and Optimization

机译：通过战略迭代和优化进行精确的计划分析
- 作者：Thomas Martin GAWLITZA;Helmut SEIDL
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
7.Lecture Notes on Software Model Checking

机译：关于软件模型检查的讲义笔记
- 作者：Rupak MAJUMDAR
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- software model checking;
- verification;
- abstraction-refinement;
8.Formal Security Proofs

机译：正式安全证明
- 作者：Hubert Comon-Lundh;Stephanie Delaune
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- security;
- formal methods;
- models of concurrency;
- symbolic constraints;
- protocols;
9.Advances in Probabilistic Model Checking

机译：概率模型检查进展
- 作者：Marta KWIATKOWSKA;David PARKER
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- markov models;
- probabilistic temporal logics;
- probabilistic model checking;
- quantitative model checking;
10.A Primer on Separation Logic (and Automatic Program Verification and Analysis)

机译：分离逻辑上的底漆（以及自动程序验证和分析）
- 作者：Peter W.OHearn
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- program logic;
- automatic program verification;
- abstract interpretation;
- separation logic;
11.Getting Started with Dafny: A Guide

机译：DAFNY入门：指导
- 作者：Jason KOENIG;K. Rustan M. LEINO
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- automatic program verification;
- program specification;
- dafny;
- precondition;
- postcondition;
- loop invariant;
- termination specification;
12.Mechanizing Game-Based Proofs of Security Protocols

机译：基于基于游戏的安全协议证明
- 作者：Bruno BLANCHET
- 会议名称：《NATO advanced study institute on tools for analysis and verification of software safety and security》 | 2012年
- security protocols;
- computational model;
- automatic proof;
- sequences of games;
- process calculi;