Journal: Formal Methods in System Design

Volume 20, Issue 1

5 -- 0Dominique Méry, Beverly A. Sanders. Editorial Note
7 -- 21K. Mani Chandy, Michel Charpentier. An Experiment in Program Composition and Proof
23 -- 45Jayadev Misra. A Simple, Object-Based View of Multiprogramming
47 -- 68Gruia-Catalin Roman, Peter J. McCann. A Notation and Logic for Mobile Computing
69 -- 89Jean-Paul Bodeveix, Mamoun Filali. Reduction and Quantifier Elimination Techniques for Program Validation
91 -- 106Ruben Gamboa. The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
107 -- 125Ratan Nalumasu, Ganesh Gopalakrishnan. Deriving Efficient Cache Coherence Protocols Through Refinement