Abstract is missing.
- StackSnuffer: Curing Orion s UnsoundnessDennis Dams. 1 [doi]
- Tutorial: Parallel Model CheckingLubos Brim, Jiri Barnat. 2-3 [doi]
- Local Abstraction-Refinement for the mu-CalculusHarald Fecher, Sharon Shoham. 4-23 [doi]
- Minimal Counterexample Generation for SPINPaul Gastin, Pierre Moro. 24-38 [doi]
- Generating Counter-Examples Through Randomized Guided SearchNeha Rungta, Eric G. Mercer. 39-57 [doi]
- Distributed Dynamic Partial Order Reduction Based Verification of Threaded SoftwareYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby. 58-75 [doi]
- Some Solutions to the Ignoring ProblemSami Evangelista, Christophe Pajault. 76-94 [doi]
- Cartesian Partial-Order ReductionGuy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv. 95-112 [doi]
- On-the-Fly Dynamic Dead Variable AnalysisJoel P. Self, Eric G. Mercer. 113-130 [doi]
- SAT-Based Summarization for Boolean ProgramsGérard Basler, Daniel Kroening, Georg Weissenbacher. 131-148 [doi]
- LTL Satisfiability CheckingKristin Y. Rozier, Moshe Y. Vardi. 149-167 [doi]
- An Embeddable Virtual Machine for State Space GenerationMichael Weber. 168-186 [doi]
- Scalable Multi-core LTL Model-CheckingJiri Barnat, Lubos Brim, Petr Rockai. 187-203 [doi]
- A SystemC/TLM Semantics in Promelaand Its Possible ApplicationsClaus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi. 204-222 [doi]
- Towards Model Checking Spatial Properties with SPINAlberto Lluch-Lafuente. 223-242 [doi]
- Model Extraction for ARINC 653 Based Avionics SoftwarePedro de la Cámara, María-del-Mar Gallardo, Pedro Merino. 243-262 [doi]
- BEEM: Benchmarks for Explicit Model CheckersRadek Pelánek. 263-267 [doi]
- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C ProgramsMaría-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán. 268-273 [doi]
- ACSAR: Software Model Checking with Transfinite RefinementMohamed Nassim Seghir, Andreas Podelski. 274-278 [doi]
- Instrumenting C Programs with Nested Word MonitorsSwarat Chaudhuri, Rajeev Alur. 279-283 [doi]