Logics and Languages for Reliability and Security 2010
Javier Esparza, Bernd Spanfelner, Orna Grumberg (Eds.): Logics and Languages for Reliability and Security. IOS Press 2010 NATO Science for Peace and Security Series - D: Information and Communication Security ISBN 978-1-60750-099-5- Patrick Cousot, Radhia Cousot: A gentle introduction to formal verification of computer systems by abstract interpretation. 1-29
- Orna Grumberg: 2-Valued and 3-Valued Abstraction-Refinement in Model Checking. 105-128
- Gerhard Jäger: Modal Fixed Point Logics. 129-154
- Antonín Kucera: Effective Analysis of Infinite State Stochastic Processes Games. 155-178
- Orna Kupferman: Multi-Valued Automata and Their Applications. 179-194
- Xavier Leroy: Mechanized semantics - with applications to program proof and compiler verification. 195-224
- Andrew C. Myers: Using Security Policies to Write Secure Software. 225-261
- C.-H. Luke Ong: Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata. 263-299
- Alejandro Russo, Andrei Sabelfeld, Keqin Li: Implicit flows in malicious and nonmalicious code. 301-322
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team