Abstract is missing.
- Large-Scale Directed Model Checking LTLStefan Edelkamp, Shahid Jabbar. 1-18 [doi]
- Directed Model Checking with Distance-Preserving AbstractionsKlaus Dräger, Bernd Finkbeiner, Andreas Podelski. 19-34 [doi]
- Adapting an AI Planning Heuristic for Directed Model CheckingSebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann. 35-52 [doi]
- Larger Automata and Less Work for LTL Model CheckingJaco Geldenhuys, Henri Hansen. 53-70 [doi]
- ::::Don t Know:::: in Probabilistic SystemsHarald Fecher, Martin Leucker, Verena Wolf. 71-88 [doi]
- Symbolic Model Checking of Stochastic Systems: Theory and ImplementationMatthias Kuntz, Markus Siegle. 89-107 [doi]
- Parallel and Distributed Model Checking in EddyIgor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan. 108-125 [doi]
- Distributed On-the-Fly Model Checking and Test Case GenerationChristophe Joubert, Radu Mateescu. 126-145 [doi]
- Bounded Model Checking of Software Using SMT Solvers Instead of SAT SolversAlessandro Armando, Jacopo Mantovani, Lorenzo Platania. 146-162 [doi]
- Symbolic Execution with Abstract Subsumption CheckingSaswat Anand, Corina S. Pasareanu, Willem Visser. 163-181 [doi]
- Abstract Matching for Software Model CheckingPedro de la Cámara, María-del-Mar Gallardo, Pedro Merino. 182-200 [doi]
- A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait ProtocolsGuy Edward Gallasch, Jonathan Billington. 201-218 [doi]
- Verification of Medical Guidelines by Model Checking - A Case StudySimon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt. 219-233 [doi]
- Towards a Compositional SPINCorina S. Pasareanu, Dimitra Giannakopoulou. 234-251 [doi]
- Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based SpecificationsRitwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan. 252-270 [doi]
- Partial-Order Reduction for General State Exploring AlgorithmsDragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente. 271-287 [doi]
- A Counterexample-Guided Refinement Tool for Open Procedural ProgramsAleksandar Dimovski, Dan R. Ghica, Ranko Lazic. 288-292 [doi]
- jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen. 293-298 [doi]
- Model Checking Dynamic States in GROOVEHarmen Kastenberg, Arend Rensink. 299-305 [doi]