Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Zhiming Liu
0/5 ( ratings)
Read Download
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.

The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning B�chi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
Pages
200
Format
Paperback
Publisher
Springer
Release
August 24, 2019
ISBN
3030176002
ISBN 13
9783030176006

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Zhiming Liu
0/5 ( ratings)
Read Download
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.

The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning B�chi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
Pages
200
Format
Paperback
Publisher
Springer
Release
August 24, 2019
ISBN
3030176002
ISBN 13
9783030176006

More books from Zhiming Liu

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

4/5 ( ratings)

Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

4/5 ( ratings)

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

4/5 ( ratings)

Theoretical Aspects of Computing - Ictac 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

4/5 ( ratings)

Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

4/5 ( ratings)

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

4/5 ( ratings)

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

4/5 ( ratings)

Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

4/5 ( ratings)

Formal Methods and Hybrid Real-Time Systems

4/5 ( ratings)

Domain Modeling and the Duration Calculus

4/5 ( ratings)

Formal Methods and Software Engineering

4/5 ( ratings)

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

4/5 ( ratings)

Rate this book!

Write a review?

loader