VERIFY-2010: Volume InformationVERIFY-2010. 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, higher-order logic, Infinite-state model checking, information flow control, interactive theorem proving, Isabelle/HOL, isolation, logic, machine-checked verification, modularity, ownership transfer, package management, Presburger arithmetic, program verification, proof reuse, safety-critical systems, Satisfiability Modulo Theories, Security, seL4 microkernel, Slicing, software model checking, theory development, Theory of Arrays, timed automata, tool support, verification, Virtualisation. |
|