Abstract is missing.
- Hardware Verification: Techniques, Methodology and SolutionsSharad Malik. 1 [doi]
- Extending Automated Compositional Verification to the Full Class of Omega-Regular LanguagesAzadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang. 2-17 [doi]
- Graph Grammar Modeling and Verification of Ad Hoc Routing ProtocolsMayank Saksena, Oskar Wibling, Bengt Jonsson. 18-32 [doi]
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent SystemsEdmund M. Clarke, Muralidhar Talupur, Helmut Veith. 33-47 [doi]
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model CheckingJiri Barnat, Lubos Brim, Pavel Simecek, M. Weber. 48-62 [doi]
- Antichains: Alternative Algorithms for LTL Satisfiability and Model-CheckingMartin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin. 63-77 [doi]
- On-the-Fly Techniques for Game-Based Software Model CheckingAdam Bakewell, Dan R. Ghica. 78-92 [doi]
- Computing Simulations over Tree AutomataParosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar. 93-108 [doi]
- Formal Pervasive Verification of a Paging MechanismEyad Alkassar, Norbert Schirmer, Artem Starostin. 109-123 [doi]
- Analyzing Stripped Device-Driver ExecutablesGogul Balakrishnan, Thomas W. Reps. 124-140 [doi]
- Model Checking-Based Genetic Programming with an Application to Mutual ExclusionGal Katz, Doron Peled. 141-156 [doi]
- Conditional Probabilities over Probabilistic and Nondeterministic SystemsMiguel E. Andrés, Peter van Rossum. 157-172 [doi]
- On Automated Verification of Probabilistic ProgramsAxel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell. 173-187 [doi]
- Symbolic Model Checking of Hybrid Systems Using Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. 188-202 [doi]
- Fast Directed Model Checking Via Russian Doll AbstractionSebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen. 203-217 [doi]
- A SAT-Based Approach to Size Change Termination with Global Ranking FunctionsAmir M. Ben-Amram, Michael Codish. 218-232 [doi]
- Efficient Automatic STE Refinement Using ResponsibilityHana Chockler, Orna Grumberg, Avi Yadgar. 233-248 [doi]
- Reasoning Algebraically About P-Solvable LoopsLaura Kovács. 249-264 [doi]
- On Local Reasoning in VerificationCarsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans. 265-281 [doi]
- Interprocedural Analysis of Concurrent Programs Under a Context BoundAkash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps. 282-298 [doi]
- Context-Bounded Analysis of Concurrent Queue SystemsSalvatore La Torre, P. Madhusudan, Gennaro Parlato. 299-314 [doi]
- On Verifying Fault Tolerance of Distributed ProtocolsDana Fisman, Orna Kupferman, Yoad Lustig. 315-331 [doi]
- The Real-Time Maude ToolPeter Csaba Ölveczky, José Meseguer. 332-336 [doi]
- Z3: An Efficient SMT SolverLeonardo Mendonça de Moura, Nikolaj Bjørner. 337-340 [doi]
- Computation and Visualisation of Phase Portraits for Model Checking SPDIsGordon J. Pace, Gerardo Schneider. 341-345 [doi]
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal LogicYih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo. 346-350 [doi]
- RWset: Attacking Path Explosion in Constraint-Based Test GenerationPeter Boonstoppel, Cristian Cadar, Dawson R. Engler. 351-366 [doi]
- Demand-Driven Compositional Symbolic ExecutionSaswat Anand, Patrice Godefroid, Nikolai Tillmann. 367-381 [doi]
- Peephole Partial Order ReductionChao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta. 382-396 [doi]
- Efficient Interpolant Generation in Satisfiability Modulo TheoriesAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani. 397-412 [doi]
- Quantified Invariant Generation Using an Interpolating Saturation ProverKenneth L. McMillan. 413-427 [doi]
- Accelerating Interpolation-Based Model-CheckingNicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun. 428-442 [doi]
- Automatically Refining Abstract InterpretationsBhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani. 443-458 [doi]
- SVISS: Symbolic Verification of Symmetric SystemsThomas Wahl, Nicolas Blanc, E. Allen Emerson. 459-462 [doi]
- RESY: Requirement Synthesis for Compositional Model CheckingBernd Finkbeiner, Hans-Jörg Peter, Sven Schewe. 463-466 [doi]
- Scoot: A Tool for the Analysis of SystemC ModelsNicolas Blanc, Daniel Kroening, Natasha Sharygina. 467-470 [doi]
- Trusted Source Translation of a Total Function LanguageGuodong Li, Konrad Slind. 471-485 [doi]
- Rocket-Fast Proof Checking for SMT SolversMichal Moskal. 486-500 [doi]
- SDSIrep: A Reputation System Based on SDSIAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth. 501-516 [doi]