VERIFY2010: Volume InformationVERIFY2010. 6th International Verification Workshop13 articles•155 pages•Published: May 15, 2012 PapersKeyphrasesAuthentication protocols, automated theorem proving, automatic test generation, Bounded Model Checking, branch coverage, certification, Common Criteria, concurrency, Craig interpolation, event logic, formal proof, formal verification, higherorder logic, Infinitestate model checking, information flow control, interactive theorem proving, Isabelle/HOL, isolation, logic, machinechecked verification, modularity, ownership transfer, package management, Presburger arithmetic, program verification, proof reuse, safetycritical systems, Satisfiability Modulo Theories, Security, seL4 microkernel, Slicing, software model checking, theory development, Theory of Arrays, timed automata, tool support, verification, Virtualisation. 
