default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogics and Languages for Reliability and Security 2010
- Javier Esparza, Bernd Spanfelner, Orna Grumberg:
Logics and Languages for Reliability and Security. NATO Science for Peace and Security Series - D: Information and Communication Security 25, IOS Press 2010, ISBN 978-1-60750-099-5 - Patrick Cousot, Radhia Cousot:
A gentle introduction to formal verification of computer systems by abstract interpretation. 1-29 - Javier Esparza, Michael Luttenberger:
Newtonian Program Analysis - An Introduction. 31-72 - Andrew D. Gordon, Cédric Fournet:
Principles and Applications of Refinement Types. 73-104 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-19 02:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
