- Amel Mammar, Régine Laleau:
Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME 2003: 834-854 - Maria-Cristina V. Marinescu, Martin C. Rinard:
A Formal Framework for Modular Synchronous System Design. FME 2003: 482-502 - Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl:
Proving the Shalls. FME 2003: 75-93 - Angelo Morzenti
, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561 - Julien Musset, Michaël Rusinowitch:
Computing Meta-transitions for Linear Transition Systems with Polynomials. FME 2003: 562-581 - Michael Poppleton, Richard Banach:
Structuring Retrenchments in B by Decomposition. FME 2003: 814-833 - Shengchao Qin, Wei-Ngan Chin:
Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME 2003: 282-300 - Shengchao Qin, Jin Song Dong, Wei-Ngan Chin:
A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340 - Brian Randell:
On Failures and Faults. FME 2003: 18-39 - Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer:
Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380 - Vlad Rusu:
Compositional Verification of an ATM Protocol. FME 2003: 223-243 - Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi:
Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. FME 2003: 7-17 - Andreas Schäfer:
Combining Real-Time Model-Checking and Fault Tree Analysis. FME 2003: 522-541 - Donna C. Stidolph, E. James Whitehead Jr.:
Managerial Issues for the Consideration and Use of Formal Methods. FME 2003: 170-186 - Jei-Wen Teng, Yih-Kuen Tsay:
Composing Temporal-Logic Specifications with Machine Assistance. FME 2003: 719-738 - Andreas Thums, Gerhard Schellhorn:
Model Checking FTA. FME 2003: 739-757 - Giovanni Vigna:
A Topological Characterization of TCP/IP Security. FME 2003: 914-939 - Alan Wassyng, Mark Lawford:
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME 2003: 133-153 - Fei Xie, James C. Browne, Robert P. Kurshan:
Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599 - Keijiro Araki, Stefania Gnesi, Dino Mandrioli:
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Lecture Notes in Computer Science 2805, Springer 2003, ISBN 3-540-40828-2 [contents]
