Safety and Verification Track in Memory of Amir Pnueli


    Track Chairs:

  • Benjamin Goldberg, New York University, USA
  • Lenore Zuck, University of Illinois at Chicago, USA
  • Oliver E. Theel, University of Oldenburg, Germany


    • Track Program Committee:

  • Tevfik Bultan, University of California, Santa Barbara, USA
  • Marsha Chechik, University of Toronto, Canada
  • Holger Hermanns, Saarland University, Germany
  • Warren A. Hunt, Jr. The University of Texas at Austin, USA
  • Michel Hurfin, INRIA, France
  • Pete Manolios, Northeastern University, USA
  • Achour Mostefaoui, University of Rennes, France
  • Kedar Namjoshi, Bell Labs, USA
  • Ernst-Rüediger Olderog, University of Oldenburg, Germany
  • Andreas Podelski, University of Freiburg, Germany
  • Oleg Sokolsky, University of Pennsylvania, USA
  • Neeraj Suri, Technische Universität Darmstadt, Germany


    • Topics include, but are not limited to:
  • Formalization and proofs of functional and non-functional properties of above-mentioned systems.
  • computer-aided, semi-automatic and automated verification.
  • compositional and modular proof techniques.
  • verification of dependability properties such as reliability and availability.
  • verification of stabilizing systems, among them properties such as convergence and closure.
  • models, abstraction, refinement, and reduction techniques.
  • model checking.
  • satisfiability checking.
  • proof procedures.
  • verification of probabilistic properties.
  • verification of system properties under relaxed assumptions.