Abstract is missing.
- Lightweight Formal MethodsDaniel Jackson. 1 [doi]
- Reformulation: A Way to Combine Dynamic Properties and B RefinementFrançoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko. 2-19 [doi]
- Mechanized Analysis of Behavioral Conformance in the Eiffel Base LibrariesSteffen Helke, Thomas Santen. 20-42 [doi]
- Proofs of Correctness of Cache-Coherence ProtocolsJoseph E. Stoy, Xiaowei Shen, Arvind. 43-71 [doi]
- Model-Checking over Multi-valued LogicsMarsha Chechik, Steve M. Easterbrook, Victor Petrovykh. 72-98 [doi]
- How to Make FDR Spin LTL Model Checking of CSP by RefinementMichael Leuschel, Thierry Massart, Andrew Currie. 99-118 [doi]
- Avoiding State Explosion for Distributed Systems with TimestampsFabrice Derepas, Paul Gastin, David Plainfossé. 119-134 [doi]
- Secrecy-Preserving RefinementJan Jürjens. 135-152 [doi]
- Information Flow Control and Applications - Bridging a GapHeiko Mantel. 153-172 [doi]
- A Rigorous Approach to Modeling and Analyzing E-Commerce ArchitecturesVangalur S. Alagar, Zheng Xi. 173-196 [doi]
- A Formal Model for Reasoning about Adaptive QoS-Enabled MiddlewareNalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha. 197-221 [doi]
- A Programming Model for Wide-Area ComputingJayadev Misra. 222 [doi]
- A Formal Model of Object-Oriented Design and GoF Design PatternsAndres Flores, Richard Moore, Luis Reynoso. 223-241 [doi]
- Validation of UML Models Thanks to Z and LustreSophie Dupuy-Chessa, Lydie du Bousquet. 242-258 [doi]
- Components, Contracts, and Connectors for the Unified Modelling Language UMLClaus Pahl. 259-277 [doi]
- An Integrated Approach to Specification and Validation of Real-Time SystemsAdnan Sherif, Augusto Sampaio, Sérgio Cavalcante. 278-299 [doi]
- Real-Time Logic RevisitedStephen Paynter. 300-317 [doi]
- Improvements in BDD-Based Reachability Analysis of Timed AutomataDirk Beyer. 318-343 [doi]
- Serialising Parallel Processes in a Hardware/Software Partitioning ContextLeila Silva, Augusto Sampaio, Geraint Jones. 344-363 [doi]
- Verifying Implementation RelationsJonathan Burton, Maciej Koutny, Giuseppe Pappalardo. 364-383 [doi]
- An Adequate Logic for Full LOTOSMuffy Calder, Savi Maharaj, Carron Shankland. 384-395 [doi]
- Towards a Topos Theoretic Foundation for the Irish School of Constructive MathematicsMícheál Mac an Airchinnigh. 396-418 [doi]
- Faithful Translations among Models and SpecificationsShmuel Katz. 419-434 [doi]
- Composing Contracts: An Adventure in Financial EngineeringSimon L. Peyton Jones. 435 [doi]
- From Complex Specifications to a Working Prototype. A Protocol Engineering Case StudyManuel J. Fernández Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo. 436-448 [doi]
- Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP SystemLaurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé. 449-464 [doi]
- Using Formal Verification Techniques to Reduce Simulation and Test EffortOdile Laurent, Pierre Michel, Virginie Wiels. 465-477 [doi]
- Transacted Memory for Smart CardsPieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley. 478-499 [doi]
- Houdini, an Annotation Assistant for ESC/JavaCormac Flanagan, K. Rustan M. Leino. 500-517 [doi]
- A Heuristic for Symmetry Reductions with ScalarsetsDragan Bosnacki, Dennis Dams, Leszek Holenderski. 518-533 [doi]
- View Updatability Based on the Models of a Formal SpecificationMichael Johnson, Robert D. Rosebrugh. 534-549 [doi]
- Grammar AdaptationRalf Lämmel. 550-570 [doi]
- Test-Case Calculation through AbstractionBernhard K. Aichernig. 571-589 [doi]
- A Modular Approach to the Specification and Validation of an Electrical Flight Control SystemMarielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon. 590-610 [doi]
- A Combined Testing and Verification Approach for Software ReliabilityNatasha Sharygina, Doron Peled. 611-628 [doi]