VERIFICATION -- THEORY & PRACTICE

Festschrift celebrating Zohar Manna's 64th Birthday
Proceedings of Symposium
Taormina, Italy
June 29-July 4, 2003

Contents
(Drafts---Not for Distribution)
  1. Martín Abadi, K. Rustan M. Leino: A Logic of Object-Oriented Programs
  2. Rajeev Alur: Formal Analysis of Hierarchical State Machines
  3. Saddek Bensalem, Susanne Graf, Yassine Lakhnech: Abstraction as the Key for Invariant Verification
  4. Dines Bjørner: Domain Engineering: A "Radical Innovation" for Software and Systems Engineering? A Biased Account
  5. Egon Börger: The ASM Ground Model Method as a Foundation of Requirements Engineering
  6. Manfred Broy: A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems
  7. Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino: Notes from the Logbook of a Proof-Checker's Project
  8. Edmund Clarke, Helmut Veith: Counterexamples Revisited: Principles, Algorithms, Applications
  9. Hubert Comon-Lundh, Ralf Treinen: Easy Intruder Deductions
  10. Patrick Cousot: Verification by Abstract Interpretation
  11. Luca de Alfaro: Games and mu-Calculus: From Discrete to Quantitative Solutions
  12. Nachum Dershowitz, Jay Jayasimha, Seunjoon Park: Bounded Fairness
  13. Alfredo Ferro, Rosalba Guigno, Alfredo Pulvirenti: Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing
  14. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking
  15. Gérard Huet: Automata Mista
  16. Shmuel Katz, Marcelo Sihman: Aspect Validation Using Model Checking
  17. Vijay Chandru, Jean-Louis Lassez: Qualitative Theorem Proving in Linear Constraints
  18. Nazareno Aguirre, Tom Maibaum: Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems
  19. R. De Nicola, G. Ferrari, Ugo Montanari, R. Pugliese, E. Tuosto: A Formal Basis for Reasoning on Programmable QoS
  20. Ben C. Moszkowski: A Hierarchical Completeness Proof for Propositional Temporal Logic
  21. Krishna Palem: Proof as Experiment: Probabilistic Computation from a Thermodynamic Perspective
  22. Elsa Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code
  23. Dusko Pavlovic, Peter Pepper, Doug Smith: Colimits for Concurrent Collectors
  24. Amir Pnueli, Tamarah Arons: TLPVS: A PVS-Based LTL Verification System
  25. Enrico Marzano, Angelo Montanari, Alberto Policriti: Binary Extensions of S1S and the Composition Method
  26. Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen: A Compositional Operational Semantics for JavaMT
  27. Bill Scherlis, J. Reif
  28. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Petri-net Analysis using Invariant Generation
  29. Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations
  30. Jean Vuillemin: Digital Algebra and Circuits
  31. Richard Waldinger, Peter Jarvis, Jennifer Dungan: Program Synthesis for Multi-Agent Question Answering
  32. Calogero G. Zarba: Combining Sets with Elements
    33.