Abstract is missing.
- Software Construction and Analysis Tools for Future Space MissionsMichael R. Lowry. 1-19 [doi]
- Alloy: A New Technology for Software ModellingDaniel Jackson. 20 [doi]
- Improving the Verification of Timed Systems Using Influence InformationVíctor A. Braberman, Diego Garbervetsky, Alfredo Olivero. 21-36 [doi]
- Digitisation and Full Abstraction for Dense-Time Model CheckingJoël Ouaknine. 37-51 [doi]
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid ApproachMarta Z. Kwiatkowska, Gethin J. Norman, David Parker. 52-66 [doi]
- Timed Automata with Asynchronous Processes: Schedulability and DecidabilityElena Fersman, Paul Pettersson, Wang Yi. 67-82 [doi]
- Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time SystemsHojung Cha, Rhan Ha. 83-97 [doi]
- An Analysis of Zero-Clairvoyant SchedulingK. Subramani. 98-112 [doi]
- Preemptive Job-Shop Scheduling Using Stopwatch AutomataYasmina Abdeddaïm, Oded Maler. 113-126 [doi]
- Explicit Modeling of Influences, and of Their Absence, in Distributed SystemsHorst Wedde, Arnim Wedig. 127-141 [doi]
- A Functional Semantics of Attribute GrammarsKevin Backhouse. 142-157 [doi]
- Relative Completeness of Abstraction Refinement for Software Model CheckingThomas Ball, Andreas Podelski, Sriram K. Rajamani. 158-172 [doi]
- Towards the Automated Verification of Multithreaded Java ProgramsGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin. 173-187 [doi]
- CLPS-B - A Constraint Solver for BFabrice Bouquet, Bruno Legeard, Fabien Peureux. 188-204 [doi]
- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVSTaeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha. 205-220 [doi]
- Beyond Parameterized VerificationMarco Bozzano, Giorgio Delzanno. 221-235 [doi]
- Resource-Constrained Model Checking of Recursive ProgramsSamik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan. 236-250 [doi]
- Model Checking Large-Scale and Parameterized Resource Allocation SystemsE. Allen Emerson, Vineet Kahlon. 251-265 [doi]
- Exploring Very Large State Spaces Using Genetic AlgorithmsPatrice Godefroid, Sarfraz Khurshid. 266-280 [doi]
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition SystemsRadu Mateescu. 281-295 [doi]
- The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageRoy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar. 296-211 [doi]
- Fine-Grain Conjunction Scheduling for Symbolic Reachability AnalysisHoonSang Jin, Andreas Kuehlmann, Fabio Somenzi. 312-326 [doi]
- A Temporal Logic Based Theory of Test Coverage and GenerationHyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural. 327-341 [doi]
- Synthesizing Monitors for Safety PropertiesKlaus Havelund, Grigore Rosu. 342-356 [doi]
- Adaptive Model CheckingAlex Groce, Doron Peled, Mihalis Yannakakis. 357-370 [doi]
- Parallelisation of the Petri Net Unfolding AlgorithmKeijo Heljanko, Victor Khomenko, Maciej Koutny. 371-385 [doi]
- Black Box Unfolding with Local First SearchSébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou. 386-400 [doi]
- Applicability of Fair SimulationDoron Bustan, Orna Grumberg. 401-414 [doi]
- Simulation as Coarsest Partition ProblemRaffaella Gentilini, Carla Piazza, Alberto Policriti. 415-430 [doi]
- Temporal Debugging for Concurrent SystemsElsa L. Gunter, Doron Peled. 431-444 [doi]
- Fate and Free Will in Error TracesHoonSang Jin, Kavita Ravi, Fabio Somenzi. 445-459 [doi]
- TIMES - A Tool for Modelling and Implementation of Embedded SystemsTobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi. 460-464 [doi]
- Compositional Verification Using SVL ScriptsFrédéric Lang. 465-469 [doi]
- STG: A Symbolic Test Generation ToolDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. 470-475 [doi]
- Real-Time Systems Design with PEPChristian Stehno. 476-480 [doi]