Formal Methods for Quantitative Aspects of Programming Languages

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

  • Alessandro Aldini
  • Marco Bernardo
  • Alessandra Di Pierro
  • Herbert Wiklicky

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6154)

Table of contents

  1. Front Matter
  2. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Pages 1-42
  3. Anne Broadbent, Joseph Fitzsimons, Elham Kashefi
    Pages 43-86
  4. Pasquale Malacaria, Jonathan Heusser
    Pages 87-134
  5. Katinka Wolter, Philipp Reinecke
    Pages 135-167
  6. Back Matter

About this book

Keywords

composition description techniques design embedded systems formal methods formalization interaction model checking patterns performance programming programming language quantum computing real-time systems security

Editors and affiliations

  • Alessandro Aldini
    • 1
  • Marco Bernardo
    • 1
  • Alessandra Di Pierro
    • 2
  • Herbert Wiklicky
    • 3
  1. 1.Dipartimento di Matematica, Fisica e InformaticaUniversità di Urbino “Carlo Bo”UrbinoItaly
  2. 2.Dipartimento di InformaticaUniversità di VeronaVeronaItaly
  3. 3.Department of ComputingImperial College LondonLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13678-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13677-1
  • Online ISBN 978-3-642-13678-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book