Abstract is missing.
- Reliable Software Development: Analysis-Aware DesignGerard J. Holzmann. 1-2 [doi]
- Transition Invariants and Transition Predicate Abstraction for Program TerminationAndreas Podelski, Andrey Rybalchenko. 3-10 [doi]
- Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory ModelsJacob Burnim, Koushik Sen, Christos Stergiou. 11-25 [doi]
- Compositionality Entails SequentializabilityPranav Garg, P. Madhusudan. 26-40 [doi]
- Litmus: Running Tests against HardwareJade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell. 41-44 [doi]
- Canonized Rewriting and Ground AC Completion Modulo Shostak TheoriesSylvain Conchon, Evelyne Contejean, Mohamed Iguernelala. 45-59 [doi]
- Invariant Generation in VampireKrystof Hoder, Laura Kovács, Andrei Voronkov. 60-64 [doi]
- Enforcing Structural Invariants Using Dynamic FramesDiego Garbervetsky, Daniel Gorín, Ariel Neisen. 65-80 [doi]
- Loop Summarization and Termination AnalysisAliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening. 81-95 [doi]
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed AutomataNathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. 96-111 [doi]
- Quantitative Multi-objective Verification for Probabilistic SystemsVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu. 112-127 [doi]
- Efficient CTMC Model Checking of Linear Real-Time ObjectivesBenoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. 128-142 [doi]
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer ArithmeticAlberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani. 143-157 [doi]
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability ProblemsTino Teige, Martin Fränzle. 158-172 [doi]
- Specification-Based Program Repair Using SATDivya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid. 173-188 [doi]
- Optimal Base Encodings for Pseudo-Boolean ConstraintsMichael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp. 189-204 [doi]
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant InferenceYungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi. 205-219 [doi]
- Next Generation LearnLibMaik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria. 220-223 [doi]
- Applying CEGAR to the Petri Net State EquationHarro Wimmel, Karsten Wolf. 224-238 [doi]
- Biased Model Checking Using FlowsMuralidhar Talupur, HyoJung Han. 239-253 [doi]
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid SystemsYashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan. 254-257 [doi]
- GAVS+: An Open Platform for the Research of Algorithmic Game SolvingChih-Hong Cheng, Alois Knoll, Michael Luttenberger, Christian Buckl. 258-261 [doi]
- Büchi Store: An Open Repository of Büchi AutomataYih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang. 262-266 [doi]
- QUASY: Quantitative Synthesis ToolKrishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh. 267-271 [doi]
- Unbeast: Symbolic Bounded SynthesisRüdiger Ehlers. 272-275 [doi]
- Abstractions and Pattern Databases: The Quest for Succinctness and AccuracySebastian Kupferschmid, Martin Wehrle. 276-290 [doi]
- The ACL2 Sedan Theorem Proving SystemHarsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon. 291-295 [doi]
- On Probabilistic Parallel Programs with Process Creation and SynchronisationStefan Kiefer, Dominik Wojtczak. 296-310 [doi]
- Confluence Reduction for Probabilistic SystemsMark Timmer, Mariëlle Stoelinga, Jaco van de Pol. 311-325 [doi]
- Model Repair for Probabilistic SystemsEzio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka. 326-340 [doi]
- Boosting Lazy Abstraction for SystemC with Partial Order ReductionAlessandro Cimatti, Iman Narasamdya, Marco Roveri. 341-356 [doi]
- Modelling and Verification of Web Services Business Activity ProtocolAnders P. Ravn, Jirí Srba, Saleem Vighio. 357-371 [doi]
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed ProcessesHubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. 372-387 [doi]
- GameTime: A Toolkit for Timing Analysis of SoftwareSanjit A. Seshia, Jonathan Kotker. 388-392 [doi]