Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification Joseph R. Kiniry Systems Research Group School of Computer Science and Informatics UCD Dublin

Source URL: vstte.ethz.ch

Predicate Abstraction and CEGAR for Higher-Order Model Checking Naoki Kobayashi Ryosuke Sato

Source URL: www.kb.ecei.tohoku.ac.jp

Model renement and model checking for S5n Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT, UK

Source URL: www.cs.bham.ac.uk

Model Checking & Program Analysis Markus Müller-Olm Dortmund University

Source URL: cs.uni-muenster.de

c 2006 by Patrick Alexander Reynolds Copyright All rights reserved USING CAUSAL PATHS TO IMPROVE PERFORMANCE AND CORRECTNESS IN DISTRIBUTED SYSTEMS

Source URL: piki.org

• Debugging
• Software bug
• Distributed computing
• Model checking
• Algorithmic program debugging

Evaluating Access Control Policies Through Model Checking  

Source URL: www.cs.bham.ac.uk

Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems Silvio Ghilardi1 , Enrica Nicolini2 , Silvio Ranise2 , and Daniele Zucchelli1,2 1 Dipartimento di Informatica, Universit`

Source URL: www.loria.fr

Posterior Predictive Checking and Generalized Graphical Models Andrew Gelman Dept of Statistics and Dept of Political Science, Columbia University, New York (Visiting Sciences Po, Paris, for 2009–2010)

Source URL: www.stat.columbia.edu

Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

Source URL: www.kb.ecei.tohoku.ac.jp