Abstract is missing.
- From Model Checking to a Temporal ProofDoron Peled, Lenore D. Zuck. 1-14 [doi]
- Model Checking if Your Life Depends on It a View from Intel s TrenchesRob Gerth. 15 [doi]
- Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPINMarsha Chechik, Benet Devereux, Arie Gurfinkel. 16-36 [doi]
- Implementing LTL Model Checking with Net UnfoldingsJavier Esparza, Keijo Heljanko. 37-56 [doi]
- Directed Explicit Model Checking with HSF-SPINStefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue. 57-79 [doi]
- Addressing Dynamic Issues of Program Model CheckingFlavio Lerda, Willem Visser. 80-102 [doi]
- Automatically Validating Temporal Safety Properties of InterfacesThomas Ball, Sriram K. Rajamani. 103-122 [doi]
- Verification Experiments on the MASCARA ProtocolGuoping Jia, Susanne Graf. 123-142 [doi]
- Using SPIN for Feature Interaction Analysis - A Case StudyMuffy Calder, Alice Miller. 143-162 [doi]
- Behavioural Analysis of the Enterprise JavaBeans:::TM::: Component ArchitectureShin Nakajima, Tetsuo Tamai. 163-182 [doi]
- p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)Michael Baldamus, Jochen Schröder-Babo. 183-191 [doi]
- Transformations for Model Checking Distributed Java ProgramsScott D. Stoller, Yanhong A. Liu. 192-199 [doi]
- Distributed LTL Model-Checking in SPINJiri Barnat, Lubos Brim, Jitka Stríbrná. 200-216 [doi]
- Parallel State Space Construction for Model-CheckingHubert Garavel, Radu Mateescu, Irina M. Smarandache. 217-234 [doi]
- Model Checking Systems of Replicated Processes with SpinFabrice Derepas, Paul Gastin. 235-251 [doi]
- A SPIN-Based Model Checker for Telecommunication ProtocolsVivek K. Shanbhag, K. Gopinath. 252-271 [doi]
- Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/SpinClement Yuen, Wei Tjioe. 272-287 [doi]
- A Model Checking Project at Philips ResearchLeszek Holenderski. 288-295 [doi]
- Applications of Model Checking at Honeywell LaboratoriesDarren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal. 296-303 [doi]
- Coarse-Granular Model Checking in PracticeBernhard Steffen, Tiziana Margaria, Volker Braun. 304-312 [doi]