FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Başlık:
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Yazar:
Bjørner, Nikolaj. editor.
ISBN:
9783319192499
Fiziksel Niteleme:
XVI, 610 p. 156 illus. online resource.
Seri:
Lecture Notes in Computer Science, 9109
İçindekiler:
Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
Özet:
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Ek Kurum Yazar:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-319-19249-9