Abstract is missing.
- Formal Analysis of Processor Timing ModelsReinhard Wilhelm. 1-4 [doi]
- Typical Structural Properties of State SpacesRadek Pelánek. 5-22 [doi]
- State Caching ReconsideredJaco Geldenhuys. 23-38 [doi]
- Directed Error Detection in C++ with the Assembly-Level Model Checker StEAMPeter Leven, Tilman Mehler, Stefan Edelkamp. 39-56 [doi]
- Fast and Accurate Bitstate Verification for SPINPeter C. Dillinger, Panagiotis Manolios. 57-75 [doi]
- Model-Driven Software VerificationGerard J. Holzmann, Rajeev Joshi. 76-91 [doi]
- Minimization of Counterexamples in SPINPaul Gastin, Pierre Moro, Marc Zeitoun. 92-108 [doi]
- Black-Box Conformance Testing for Real-Time SystemsMoez Krichen, Stavros Tripakis. 109-126 [doi]
- Validation of UML Models via a Mapping to Communicating Extended Timed AutomataIulian Ober, Susanne Graf, Ileana Ober. 127-145 [doi]
- Explicit State Model Checking with HopperMichael Jones, Eric Mercer. 146-150 [doi]
- SEQ.OPEN: A Tool for Efficient Trace-Based VerificationHubert Garavel, Radu Mateescu. 151-157 [doi]
- Model Checking Genetic Regulatory Networks Using GNA and CADPGrégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu. 158-163 [doi]
- Verification of Java Programs Using Symbolic Execution and Invariant GenerationCorina S. Pasareanu, Willem Visser. 164-181 [doi]
- Polynomial Time Image Computation with Interval-Definable Counters SystemsAlain Finkel, Jérôme Leroux. 182-197 [doi]
- Using Fairness to Make Abstractions WorkDragan Bosnacki, Natalia Ioustinova, Natalia Sidorova. 198-215 [doi]
- A Scalable Incomplete Test for Message Buffer Overflow in Promela ModelsStefan Leue, Richard Mayr, Wei Wei. 216-233 [doi]
- Translation from Adapted UML to Promela for CORBA-Based ApplicationsJessica Chen, Hanmei Cui. 234-251 [doi]
- Verifying Commit-Atomicity Using Model-CheckingCormac Flanagan. 252-266 [doi]
- Analysis of Distributed Spin Applied to Industrial-Scale ModelsMurali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer. 267-285 [doi]
- Verification of MPI-Based Software for Scientific ComputationStephen F. Siegel, George S. Avrunin. 286-303 [doi]
- Advanced SPIN TutorialTheo C. Ruys, Gerard J. Holzmann. 304-305 [doi]
- IF Validation Environment TutorialMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. 306-307 [doi]