Abstract is missing.
- Formal Aids for the Growth of Software SystemsMathai Joseph. 1 [doi]
- Formal Methods and Testing: Hypotheses, and Correctness ApproximationsMarie-Claude Gaudel. 2-8 [doi]
- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space MissionsC. W. Johnson. 9-25 [doi]
- Modular Verification of Static Class InvariantsK. Rustan M. Leino, Peter Müller. 26-42 [doi]
- Decoupling in Object OrientationIoannis T. Kassios. 43-58 [doi]
- Controlling Object Allocation Using Creation GuardsCees Pierik, Dave Clarke, Frank S. de Boer. 59-74 [doi]
- Symbolic Animation of JML SpecificationsFabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting. 75-90 [doi]
- Certified Memory Usage AnalysisDavid Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider. 91-106 [doi]
- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic ProgramsOrieta Celiku, Annabelle McIver. 107-122 [doi]
- Formally Defining and Verifying Master/Slave Speculative ParallelizationPierre Salverda, Grigore Rosu, Craig B. Zilles. 123-138 [doi]
- Systematic Implementation of Real-Time ModelsMartin De Wulf, Laurent Doyen, Jean-François Raskin. 139-156 [doi]
- Timing Tolerances in Safety-Critical SoftwareAlan Wassyng, Mark Lawford, Xiayong Hu. 157-172 [doi]
- Timed Testing with TorXHenrik C. Bohnenkamp, Axel Belinfante. 173-188 [doi]
- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsVlad Rusu, Hervé Marchand, Thierry Jéron. 189-204 [doi]
- Adding Conflict and Confusion to CSPChristie Bolton. 205-220 [doi]
- Combining CSP and B for Specification and Property VerificationMichael J. Butler, Michael Leuschel. 221-236 [doi]
- Operational Semantics for Model Checking CircusJim Woodcock, Ana Cavalcanti, Leonardo Freitas. 237-252 [doi]
- Control Law Diagrams in ::::Circus::::Ana Cavalcanti, Phil Clayton, Colin O Halloran. 253-268 [doi]
- Verification of a Signature Architecture with HOL-ZDavid A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff. 269-285 [doi]
- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer PlatformMikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero. 286-301 [doi]
- Formal Verification of Security Properties of Smart Card Embedded Source CodeJune Andronick, Boutheina Chetali, Christine Paulin-Mohring. 302-317 [doi]
- A Formal Model of Addressing for Interoperating NetworksPamela Zave. 318-333 [doi]
- An Approach to Unfolding Asynchronous Communication ProtocolsYu Lei, S. Purushothaman Iyer. 334-349 [doi]
- Semantics of BPEL4WS-Like Fault and Compensation HandlingZongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao. 350-365 [doi]
- On Some Galois Connection Based Abstractions for the Mu-CalculusDragan Bosnacki. 366-381 [doi]
- Retrenching the Purse: Finite Sequence Numbers, and the Tower PatternRichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney. 382-398 [doi]
- Strategic Term Rewriting and Its Application to a VDMSL to SQL ConversionTiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira. 399-414 [doi]
- Synthesis of Distributed Processes from Scenario-Based SpecificationsJun Sun 0001, Jin Song Dong. 415-431 [doi]
- Verifying Scenario-Based Aspect SpecificationsEmilia Katz, Shmuel Katz. 432-447 [doi]
- An MDA Approach Towards Integrating Formal and Informal Modeling LanguagesSoon-Kyeong Kim, Damian Burger, David A. Carrington. 448-464 [doi]
- Model-Checking of Specifications Integrating Processes, Data and TimeJochen Hoenicke, Patrick Maier. 465-480 [doi]
- Automatic Symmetry Detection for Model Checking Using Computational Group TheoryAlastair F. Donaldson, Alice Miller. 481-496 [doi]
- On Partitioning and Symbolic Model CheckingSubramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain. 497-511 [doi]
- Dynamic Component Substitutability AnalysisNatasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha. 512-528 [doi]
- Floating-Point VerificationJohn Harrison. 529-532 [doi]
- Preliminary Results of a Case Study: Model Checking for Advanced Automotive ApplicationsStefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop. 533-536 [doi]
- Model-Based Testing in PracticeAlexander Pretschner. 537-541 [doi]
- Testing Concurrent Object-Oriented Systems with Spec ExplorerColin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. 542-547 [doi]
- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control SoftwareGuy H. Broadfoot. 548-551 [doi]
- The Informal Nature of Systems EngineeringGerrit Muller. 552-556 [doi]