Abstract is missing.
- Realising the Benefits of Formal MethodsAnthony Hall. 1-4 [doi]
- A Compositional Framework for Service Interaction Patterns and Interaction FlowsAlistair P. Barros, Egon Börger. 5-35 [doi]
- An Evidential Tool BusJohn M. Rushby. 36-36 [doi]
- Derivation of UML Class Diagrams as Static Views of Formal B DevelopmentsAkram Idani, Yves Ledru, Didier Bert. 37-51 [doi]
- 29 New Unclarities in the Semantics of UML 2.0 State MachinesHarald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever. 52-65 [doi]
- The Semantics and Tool Support of OZTAJin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang. 66-80 [doi]
- An Abstract Model for Process MediationMichael Altenhofen, Egon Börger, Jens Lemcke. 81-95 [doi]
- How Symbolic Animation Can Help Designing an Efficient Formal ModelFabrice Bouquet, Frédéric Dadeau, Bruno Legeard. 96-110 [doi]
- A Theory of Secure Control FlowMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti. 111-124 [doi]
- Game Semantics Model for Security ProtocolsMourad Debbabi, Mohamed Saleh. 125-140 [doi]
- Towards Dynamically Communicating Abstract Machines in the B MethodNazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum. 141-155 [doi]
- Sweep-Line Analysis of TCP Connection ManagementGuy Edward Gallasch, Bing Han, Jonathan Billington. 156-172 [doi]
- 2/3 Alternating Simulation Between Interface AutomataYanjun Wen, Ji Wang, Zhi-Chang Qi. 173-187 [doi]
- Formal Model-Driven Development of Communicating SystemsLinas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik. 188-203 [doi]
- Jahuel: A Formal Framework for Software SynthesisIsmail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine. 204-218 [doi]
- Modelling and Refinement of an On-Chip Communication ArchitectureJuha Plosila, Pasi Liljeberg, Jouni Isoaho. 219-234 [doi]
- Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific HeuristicsAhmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou. 235-250 [doi]
- Adaptive Random Testing by Bisection with RestrictionJohannes Mayer. 251-263 [doi]
- Testing Real-Time Multi Input-Output SystemsLaura Brandán Briones, Ed Brinksma. 264-279 [doi]
- Formal Verification of a Memory Model for ::::C::::-Like Imperative LanguagesSandrine Blazy, Xavier Leroy. 280-299 [doi]
- Symbolic Verification of Distributed Real-Time Systems with Complex SynchronizationsFarn Wang. 300-314 [doi]
- An Improved Rule for While Loops in Deductive Program VerificationBernhard Beckert, Steffen Schlager, Peter H. Schmitt. 315-329 [doi]
- Using Stålmarck s Algorithm to Prove InequalitiesByron Cook, Georges Gonthier. 330-344 [doi]
- Automatic Refinement Checking for BMichael Leuschel, Michael J. Butler. 345-359 [doi]
- Slicing an Integrated Formal Method for VerificationIngo Brückner, Heike Wehrheim. 360-374 [doi]
- A Static Communication Elimination Algorithm for Distributed System VerificationFrancesc-Xavier Babot, Miquel Bertran, August Climent. 375-389 [doi]
- Incremental Verification of Owicki/Gries Proof Outlines Using PVSArjan J. Mooij, Wieger Wesselink. 390-404 [doi]
- Using Three-Valued Logic to Specify and Verify Algorithms of Computational GeometryJens Brandt, Klaus Schneider. 405-420 [doi]
- An Automated Approach to Specification-Based Program InspectionShaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid. 421-434 [doi]
- Visualizing and Simulating Semantic Web Services OntologiesJun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun. 435-449 [doi]
- A Model-to-Implementation Mapping Tool for Automated Model-Based GUI TestingAna Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal. 450-464 [doi]
- ClawZ: Cost-Effective Formal Verification for Control SystemsM. M. Adams, Philip B. Clayton. 465-479 [doi]
- SVG Web Environment for Z Specification LanguageJing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik. 480-494 [doi]