© 2018

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

  • Jonathan P. Bowen
  • Zhiming Liu
  • Zili Zhang
Conference proceedings SETSS 2017

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11174)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Ian J. Hayes, Cliff B. Jones
    Pages 1-38
  3. Natarajan Shankar
    Pages 89-114
  4. K. Rustan M. Leino
    Pages 115-142
  5. Xiaoxing Ma, Tianxiao Gu, Wei Song
    Pages 143-175
  6. Back Matter
    Pages 219-219

About these proceedings


This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.

The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. 


computer systems formal methods formal reasoning formal specification formal verification modelling languages program refinement programming language semantics reactive systems real-time systems runtime verification safety-critical systems software design software development software engineering software modelling software testing software evaluation Java

Editors and affiliations

  1. 1.London South Bank UniversityLondonUK
  2. 2.Southwest UniversityChongqingChina
  3. 3.Faculty of Computer and Information ScienceSouthwest UniversityChongqingChina

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment